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

2- teorema. Elementar mulohazalarning aynan yolg‘on bo‘lmagan ixtiyoriy formulasini MDNShga keltirish mumkin.

Isboti. Elementar mulohazalarning aynan yolg‘on formulasidan farqli berilgan formulasini bilan belgilab, avvalo, formulani MKNShga keltiramiz. teng kuchlilikdan foydalanib, formulaning MKNShi tarkibida qatnashuvchi barcha ifodalardagi belgi o‘rniga belgi va, aksincha, o‘rniga hamda elementar mulohazalar o‘rinlariga mos ravishda ularning inkorlari, va, aksincha, elementar mulohazalarning inkorlari o‘rinlariga mos ravishda ularning o‘zlari qo‘yilsa, u holda formulaning MDNShi hosil bo‘ladi. ■