Mavzu: Mulohaza va ular ustida amallar Reja

2-misol. ko’rinishida yozilgan formulani tahlil qilaylik. Bu formuladagi amallarni bajarish imtiyozlari va qavslar haqidagi kelishuvga ko’ra berilgan formulani ko’rinishda ifodalash mumkin.
Tabiiyki, ixtiyoriy formula uchun chinlik jadvali tuzish mumkin. Berilgan formulalarg mos chinlik jadvalini tuzishda shu formula tarkibidagi amallarga e’tibor bergan holda asosiy chinlik jadvallaridan ketma-ket foydalanish mumkin.
3-misol. formulaning chinlik jadvali 1-jadval bo’ladi.
1-jadval

x	y
0	0	1	0	1	0	1
0	1	1	0	1	0	1
1	0	0	0	0	1	1
1	1	0	1	1	0	0

2-ta‘rif. Agar berilgan ikkita formula tarkibida ishtirok etuvchi elementar mulohazalarning har bir qiymatlar satri uchun bu formulalarning qiymatlari bir xil bo’lsa, u holda ular teng kuchli formulalar deb ataladi.
3-t a ‘ r i f. Agar berilgan ikkita formula tarkibida ishtirok etuvchi elementar mulohazalarning har bir qiymatlar satri uchun bu formulalarning qiymatlari har xil bo’lsa, u holda ular teng kuchlimas formulalar deb ataladi.
Teg kuchli va teng kuchlimas iboralar na faqat formulalarga nisbatan, balki ixtiyoriy mantiqiy mulohazalarga nisbatan ham qo’llanilishi mumkin. Ba’zan teng kuchli va teng kuchlimas iboralar o’rnida, mos ravishda, ekvivalent va ekvivalentmas iboralari ishlatiladi ekvivalentlik tushunchasi ekvivalensiya tushunchasiga ohangdosh bo’lgani uchun, ularni bir-biridan farq qilish maqsadida ko’proq teng kuchlilik iborasidan foydalanamiz.
Berilgan formulalarning teng kuchliligini ifodalashda belgidan, teng kuchlimasligini ifodalashda esa belgidan foydalaniladi. Masalan, agar berilga A va B formulalar teng kuchli formulalar bo’lsa, u holda deb. A va B formulalar teng kuchlimas formulalar bo’lganda esa, deb yoziladi. Ba’zan, formulalarning teng kuchliligini ifodalashda “=” belgidan, teng kuchlimasligini ifodalashda esa belgidan foydalaniladi.
Berilgan formulalarning teng kuchli yoki teng kuchlimas bo’lishini aniqlashda, odatda, ular uchun tuzilgan chinlik jadvallaridan foydalaniladi.