Mavzu formulalarning normal shakllari. Mukammal kon’yunktiv va diz’yunktiv normal shakllar

8- misol. va formulalar uchun teng kuchlilikning o‘rinli bo‘lishini ularga mos va chinlik to‘plamlaridan foydalanib isbotlaymiz. formulaning chinlik to‘plami . Shu sababli, tavtologiyadir. ■

1- teorema. Agar chinlik to‘plamlari mos ravishda va bo‘lgan

va formulalar uchun teng kuchlilik o‘rinli bo‘lsa, u holda bo‘ladi.

Isboti. Ma’lumki, formulaning chinlik to‘plami universal to‘plamning qism to‘plamidan iborat. (I bobninig 2- paragrafidagi 10- topshiriqqa qarang) bo‘lgani uchun shartga ko‘ra bo‘lishi kerak. Bundan yoki kelib chiqadi. Bu esa ekanligini bildiradi. Demak, tavtologiya bo‘lishi uchun formulaning chinlik to‘plami formula chinlik to‘plamining qism to‘plami bo‘lishi shart. ■