O‘zbekiston respublikasi axborot texnologiyalari va kommunikatsiyalarini rivojlantirish vazirligi muhammad al-xorazmiy nomidagi toshkent axborot texnologiyalari universiteti algoritmlash va matematik modellashtirish kafedrasi

mantiqiy ifoda uchun 
haqiqat jadvalini tuzish
.
Haqiqat jadvali - kiritilgan o'zgaruvchilarning barcha mumkin bo'lgan
kombinatsiyalarini va ularning tegishli chiqish qiymatlarini o'z ichiga olgan jadval.
Haqiqat jadvali 2 n qatorni o'z ichiga oladi, bu erda n - kirish o'zgaruvchilar soni va
n + m - ustunlar, bu erda m - chiqish o'zgaruvchilari.
Ko'rsatma. Klaviaturadan kiritishda quyidagi belgidan foydalaning: Masalan, abc +
ab ~ c + a ~ bc mantiqiy ifodani quyidagicha kiritish kerak: a * b * c + a * b = c +
a = b * c
Mantiqiy diagramma shaklida ma'lumotlarni kiritish uchun ushbu xizmatdan
foydalaning.
Mantiqiy funktsiyani kiritish qoidalari
1. v o'rniga + dan foydalaning (dizyunksiya, OR).
2. Mantiqiy funktsiyadan oldin funktsiya belgilovchisi kerak emas. Misol
uchun, F (x, y) = (x | y) = (x ^ y) o'rniga, siz shunchaki (x | y) = (x ^ y) ni
kiritishingiz kerak.
3. O'zgaruvchilarning maksimal soni - 10 ta.
Kompyuterning mantiqiy sxemalarini loyihalash va tahlil qilish matematikaning
maxsus bo'limi - mantiq algebrasi yordamida amalga oshiriladi. Mantiq algebrasida
uchta asosiy mantiqiy funktsiyani ajratib ko'rsatish mumkin: "EMAS" (inkor),
"VA" (konjunksiya), "OR" (dizyunksiya).
Har qanday mantiqiy qurilmani yaratish uchun chiqish o'zgaruvchilarning har
birining operatsion kirish o'zgaruvchilarga bog'liqligini aniqlash kerak, bunday

---

---

bog'liqlik kommutatsiya funktsiyasi yoki mantiq algebrasining funktsiyasi deb

ataladi.
Mantiqiy algebra funktsiyasi, agar uning barcha 2 n qiymatlari berilgan bo'lsa,
to'liq aniqlangan deb ataladi, bu erda n - chiqish o'zgaruvchilari soni.
Agar barcha qiymatlar aniqlanmagan bo'lsa, funktsiya qisman aniqlangan deb
aytiladi.
Qurilmaning holati mantiqiy algebra funktsiyasi yordamida tasvirlangan bo'lsa, u
mantiqiy deb ataladi.
Mantiq algebrasining funksiyasini ifodalash uchun quyidagi usullardan
foydalaniladi:
•
og'zaki tavsif - dastlabki loyihalash bosqichida qo'llaniladigan va shartli
tasvirga ega bo'lgan shakl.
•
mantiq algebrasining funksiyasini haqiqat jadvali shaklida tasvirlash.
•
mantiq algebrasi funktsiyasini algebraik ifoda ko'rinishida tavsiflash: FAL
ning ikkita algebraik shakllari qo'llaniladi:
a)