A va B formulalar berilgan bo`lsin.(1) elementar mulohazalarning har bir qiymatlar satri uchun A va B formulalarning mos qiymatlari bir xil bo`lsa, A va B formulalar teng kuchli formulalar deb ataladi va A = B ko`rinishda belgilanadi.(1)ning kamida bitta qiymatlar satri uchun A va B formulalarning mos qiymatlari bir xil bo`lmasa, u holda A va B formulalar teng kuchlimas formulalar deyiladi va A B deb belgilanadi.
A va B formulalar berilgan bo`lsin.(1) elementar mulohazalarning har bir qiymatlar satri uchun A va B formulalarning mos qiymatlari bir xil bo`lsa, A va B formulalar teng kuchli formulalar deb ataladi va A = B ko`rinishda belgilanadi.(1)ning kamida bitta qiymatlar satri uchun A va B formulalarning mos qiymatlari bir xil bo`lmasa, u holda A va B formulalar teng kuchlimas formulalar deyiladi va A B deb belgilanadi.
A va B formulalarning teng kuchli bo`lish – bo`lmasligi ular uchun tuzilgan chinlik jadvali yordamida aniqlanadi.
Formulaning normal shakllari. Formulaning normal shakllari quyidagi ta’rif asosida aniqlanadi.
Formulaning normal shakllari. Formulaning normal shakllari quyidagi ta’rif asosida aniqlanadi.
Ta’rif.Berilgan formulaning kon’yunktiv normal shakli deb unga teng kuchli va elementar diz’yunksiyalarning kon’yunksiyalaridan tashkil topgan formulaga, diz’yunktiv normal shakli deb esa unga teng kuchli va elementar kon’yunksiyalarning diz’yunksiyalaridan tashkil topgan formulaga aytiladi.
1- teorema.Mantiq algebrasining ixtiyoriy formulasini KNShga keltirish
mumkin.
2- teorema. Mantiq algebrasining formulasi tavtologiya bo‘lishi uchun uning KNShidagi barcha elementar diz’yunktiv hadlarida kamida bittadan elementar mulohaza o‘zining inkori bilan birga qatnashishi zarur va yetarli.
3- teorema.Mantiq algebrasining ixtiyoriy formulasini DNShga keltirish mumkin.
4- teorema.Mantiq algebrasining formulasi aynan yolg‘on bo‘lishi uchun uning DNShdagi barcha elementar kon’yunktiv hadlarida kamida bittadan
elementar mulohaza o‘zining inkori bilan birga qatnashishi zarur va yetarli.
