Ekvivalent jadval, ekvivalentligi ishga muammosiga mantiqiy yechim misol

Bugun biz mantiqiy vazifalari haqida gapirish taklif etamiz. Bu bizning asosiy masala, chunki bu yerda ekvivalent stol, deb.

Boolean algebra, qoidalar va haqiqat jadvali yod olish shart emas edi, u siz uchun taqdim etiladi funktsiyasi, bir oddiy tushunish yetarli bo'ladi.

mantiq

jadval ekvivalent masalasi ustuvor ekanligini qaramay, biz eng Boolean algebra haqida bir necha so'z aytish bo'ladi. Yuqorida aytib o'tilganidek, haqiqat jadvali qanday ko'paytma jadvalining o'rganish uchun zarur emas. Rus tili bir misol berishi mumkin ishga mohiyatini tushunish uchun. Bu g'alati tuyulishi mumkin, lekin bu usul, albatta, qiziqarli mashqlar hisoblash mantiq muammolarni o'girib, to'siqni yengib uchun ko'p yordam sifatida. Bugungi kunda, ushbu usul qanday ishlaydi ko'rish mumkin.

Nima uchun men mantiq kerak? Bu fan, ayniqsa, bizning vaqt ichida, juda muhim ahamiyatga ega. mantiqiy operatsiyalar asosida biz har kuni foydalanadigan deyarli barcha raqamli qurilmalar. Agar texnik yon ta'sir qilmaydi ham, gapirish qanday e'tibor. to'qqizinchi qavatdan uchib, shuningdek mantiq qonunlariga itoat qilish ishonch hosil Barcha takliflar pastga to'p fizika qonunlarini itoat.

vazifalari

Boolean algebra bir necha asosiy vazifalarini (rad, ayirish, qo'shimcha va binobarin ekvivalentligi) beradi.

Agar murakkab mantiqiy ifoda uchun Ahvoli bunday ularning to'g'ri ta'riflar hisob "ayirish" yoki "oshirish", deb shartlarini o'z ichiga olmaydi unutmang. Salbiy inversiya deyiladi. Boolean algebra, ayirish bir bog'lovchi deb ataladi, va qo'shimcha qilinadi - bo'lish. mantiqiy xulosa - ma'no emas. Eşdeğerliği ba'zan bir-birining o'rniga ataladi.

hal qilish uchun mantiqiy muammolarni siz faqat bu funktsiyalarni haqiqat jadvali bilish kerak. Lekin, biz bu o'rganish va tushunish mumkin emas, deb aytgan. Bu sezilarli vaqt xarajatlarni kamaytiradi. Biz ekvivalentligi stol ustiga bu usul ning harakat qilingan. ning hozir yarataylik.

ekvivalentligi

ham kelgan iboralar teng va u ekvivalent faqat agar rost mantiqiy funktsiyasi. Quyida ko'rsatilgan bo'ladi funktsiyasi stol, ikki-joy mantiqiy operatsiya hisoblanadi. Grafik, u ikki tomonlama o'q, yoki uch gorizontal xususiyatlarini ham anglatadi. belgisi, ikki oddiy so'zlar bilan baham ko'rish kerak.

Biz ustuvor vazifasini ko'rib bo'lsa, bu mantiq operatsiya barcha boshqalar ortda oltinchi joy hisoblanadi. Quyida ekvivalent jadvali.

haqiqat jadvali, bir necha yo'llar bilan to'ldirilgan bo'lishi mumkin unutmang. "+", "1" yoki "men": Haqiqiy ifoda sifatida yozilgan bo'lishi mumkin. Soxta - "-", "0" yoki "L".

Biz va'da qilgan kabi, biz rus tilida bu mantiqiy operatsiya talqin. Expression quyidagi hollarda haqiqiy bo'ladi:

• birinchi oddiy ifoda - bu ikkinchi ifoda (ifoda - bir so'z) ning bir xil bo'ladi;
• Bu ikkinchi (Britaniya mening ta'lim shakllantirish uchun teng) birinchi so'z tengdir;
• ikkinchi (Men maktabni bitirgan universitetda bo'lsa va faqat bo'lsa, nima qiladi) bir joy bor va faqat agar bir-sonli raqam ifoda mumkin.

misol

Endi amalda ekvivalent haqiqati stol foydalanishga harakat. Bu ikki ifodalar quyida ko'rsatilgan teng ekanligini isbotlash uchun zarur:

• ifoda 2 teng 1 ifoda;
• (He2 + 1) * (HE1 + 2).

Buning uchun, bu jadvallar uchun bir haqiqat jadvali tuzish. Biz avvalgi bandda ega bo'lgani kabi, birinchi uchun, biz, albatta, yo'q qiladi.

oxirgi ustuniga so'nggi natijalar Demak, ifodalar teng, bir xil ekanligini unutmang.