Mavzu: Mulohazalarda formula, qism formula. Aynan chin, aynan yolg’on va bajariluvchi formulalar. Reja: I bob mulohazlarda formula

Boshqa mantiqiy amallar. Yuqorida bayon etilgan asosiy mantiqiy amallar 20ta turli unar va binary amallarning 5tasidir xolos. Qolgan 15ta amallarning ham matematik mantiqda o’z o’rinlari bo’lib, ularning ba’zilariga olimlarning nomlari qo’yilgan. Jumladan, binar mantiqiy amal Sheffer amali yoki Sheffer shitrixi degan nom olgan.

x	y
Yo	Yo	ch
Yo	Ch	Ch
Ch	Yo	Ch
ch	ch	Yo

(1.1.7-jadval)
Bu amalni, ba’zan antikon’yunksiya amali deb ham atashadi. Sheffer amalini belgilashda belgidan foydalaniladi, berilgan x va y mulohazarga Sheffer amalini qo’llab murakkab mulohaza hosil qilingan bo’lsa, yozuv “x Sheffer shtrixi y “ deb o’qiladi. x va y elementar mulohazalarga Sheffer amalini qo’llash natijasi mulohaza uchun chinlik jadvali 1.1.7-jadval bo’ladi (1.1.2-jadvalning x,y va ustunlariga qarang ).
Olimning nomi bilan atalgan yana bir mantiqiy amal binar mantiqiy amal bo’lib, bu amal haqidagi datslabki ma’lumotlarni Pirs e’lon qilgan. Bu amal Pirs strelkasi yoki Pirs amali degan nom olgan bo’lib, uni ba’zan antidiz’yunksiya amali deb ham atash mumkin.
Pirs amalini belgilashda “ belgidan foydalaniladi. Berilgan x va y mulohazalarga Pirs amalini qo’llab murakkab mulohaza hosil qilingan bo’lsa. yozuv “ x Pirs strelkasi y “ deb o’qiladi. x va y elementar mulohazalarga Pirs amalini qo’lash natijasida mulohaza uchun chinlik jadvali 1.1.8-jadval bo’ladi

x	y
Yo	yo	Ch
Yo	Ch	Yo
Ch	Yo	Yo
ch	Ch	Yo

(1.1.2-jadvalning x,y va ustunlariga qarang). (1.1.8-jadval)
Qolgan 3 ta unar va 10 ta binary mantiqiy amallarga qisqacha to’xtalib o’tamiz
1.unar amallar va amallar vositasida, mos ravishda, absolyut yolg’on va absolyut chinni hosil qilish mumkin, amalni esa x mulohazaning qiymatini o’zgartirmaydigan (1-jadvalga qarang).
2.binar amallar va mallar vositasida mos ravishda absolyut yolg’on va absolyut chinni hosil qilish mumkin. amali y dan x ga implikatsiya amalini ifodalaydi. va amallari, mos ravishda y dan x g ava x dan y ga implikatsiya inversiyasi amallaridir. amallar faqat bitta operandaga bog’liq. amaliga ikki modulli qo’shish amali degan nom berilgan bo’lib, bu amalni belgilashda belgidan foydalaniladi. Berilgan x va y mulohazalarga ikki modulli qo’shish amalini qo’llab murakkab mulohaza hosil qilinadi.