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

6- misol. 4- misolda aniqlangan va formulalar tarkibida uchtadan , va elementar mulohazalar qatnashgani uchun, implikasiyasining chinlik to‘plamini topish maqsadida, dastlab

universal to‘plamni tuzamiz. formulaning chinlik to‘plami bo‘lgani uchun formulaning chinlik to‘plami

bo‘ladi. Endi to‘plam bilan formulaning chinlik to‘plami birlashmasini aniqlasak, , ya’ni formulaning chinlik to‘plami universal to‘plamdan iborat bo‘ladi. Bu yerdan xulosani hosil qilamiz. ■

Ekvivalensiyaning chinlik to‘plami. va formulalar ekvivalensiyasining chinlik to‘plamini aniqlash uchun teng kuchlilikdan foydalanamiz. Yuqorida qilingan xulosalarga ko‘ra formulaning chinlik to‘plami bo‘ladi. 2- shaklda tasvirlangan to‘plamning bo‘yalmagan qismi ekvivalensiyaning chinlik to‘plamiga mos keladi.