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

4- misol. va formulalarning chinlik to‘plamlari, mos

ravishda, va bo‘lgani uchun (2- va 3- misollarga qarang) kon’yunksiyaning chinlik to‘plami bo‘ladi. ■

Diz’yunksiyaning chinlik to‘plami. va formulalar diz’yunksiyasining chinlik to‘plami bo‘ladi. Haqiqatdan ham, diz’yunksiya ta’rifiga asosan, formula va formulalarning kamida bittasi chin bo‘lgandagina chindir. Demak, to‘plamda formula chindir. Shunday qilib, formulaning chinlik to‘plami va to‘plamlarning barcha elementlaridan, ularni takrorlamasdan, tuzilgan birlashmasidan iborat bo‘ladi. Demak, mulohazalar mantiqidagi diz’yunksiya ( ) amaliga to‘plamlar nazariyasidagi birlashma ( ) amali mos keladi (I bobning 2- paragrafidagi 1- shaklga qarang).