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

5- misol. 4- misolda aniqlangan va formulalar diz’yunksiyasi uchun chinlik to‘plam bo‘ladi. ■

Implikasiyaning chinlik to‘plami. va formulalar implikasiyaning chinlik to‘plamini topamiz. formulaning chinlik to‘plami va formulaning chinlik to‘plami bo‘lgani uchun, teng kuchlilikka ko‘ra, formulaning chinlik to‘plami bo‘ladi. 1- shaklda tasvirlangan to‘plamning bo‘yalmagan qismi implikasiyaning chinlik to‘plamiga mos keladi.