1. Mantiq amallari: dizyunksiya,konyuksiya inkor

Berilgan formulalar teng kuchli
ekanligini isbotlang.
Yechish. Berilgan formulalar teng kuchli ekanligini isbotlash
uchun rostlik jadvallari tuzamiz:

Formulalaming rostlik jadvallaridagi formulalar rostlik qiymatlari
ustunlari mos tizimlarda bir xil ekanligidan berilgan formulalaming
teng kuchli ekanligi kelib chiqadi.
Formulalaming teng kuchli ekanligini isbotlash uchun bitta
rostlik jadvalini tuzish ham mumkin:

Hosil bo‘lgan 4- va 7- ustunlardagi rostlik qiymatlarini solishtirib,
berilgan formulalaming teng kuchli ekanligiga ishonch hosil
qilamiz.
3-misol.

tengkuchlilikni asosiy teng
kuchliliklar yordamida isbotlang.
Yechish. Asosiy teng kuchliliklardan foydalanib, quyidagi
teng kuchli formulalar ketma-ketligini hosil qilamiz:

81-SAVOL. Ikki qiymstli funksiyalarni mulohazalar algebrasining formulalari orqali ifodalash.



82-SAVOL. Normal forma, mukammal dizyunktiv normal forma(MDNF) va mukammal konyuktiv normal forma( MKNF) ni hosil qilish.






83-savol. Ikkilik prinspi va ikkilik qonuni yordamida qo'shma formulalarni hosil qilish. F unksiyalarning to'liq sistemasi.



84-savol. Aksiomalar va keltirib chiqarish qoidalari yordamida formulalarning keltirib chiqariluvchanligini isbotlash.











85. Gipotezalardan keltirib chiqarish. Deduksiya teoremasini qo’llash. Formulalarga teng kuchli almashtirishlar bajarish.




86. Teng kuchli formulalarni isbotlash. Formulani normal formaga keltirish.