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

3.8.2. Asosiy mantiqiy amallarning chinlik to‘plamlari. Chinlik to‘plamlari mos ravishda va bo‘lgan va formulalar berilgan bo‘lsin.

Kon’yunksiyaning chinlik to‘plami. va formulalar kon’yunksiyasining chinlik to‘plami bo‘ladi. Haqiqatdan ham, kon’yunksiya ta’rifiga asosan, formula va formulalarning ikkalasi ham chin bo‘lgandagina chindir. Shuning uchun, formulaning chinlik to‘plami va to‘plamlarning umumiy elementlaridan tuzilgan kesishmasidan iborat bo‘ladi. Demak, mulohazalar mantiqidagi kon’yunksiya amaliga ( belgiga) to‘plamlar nazariyasidagi kesishma amali ( belgi) mos keladi (I bobning 2- paragrafidagi 2- shaklga qarang).