12-mavzu mukammal diz’yunktiv va kon’yunktiv normal shakllar. Rele kontakt sxemalari. Reja

Mukammal normal shakllar

• Mukammal normal shakllar
• Ta’rif 5. Agar bir hadga Ai yoki ⌐Ai formulalar juftligidan faqat bittasi kirgan bo‘lsa, A1, A2, …, An fikr o‘zgaruvchilarining kon’yunktiv yoki diz’yunktiv bir hadlari mukammal deyiladi.
• Ta‘rif 6. Agar KNSh yoki DNSh larda A1, A2, …, An o‘zgaruvchilarning takrorlanmaydigan mukammal bir hadlari kirgan bo‘lsa, A1, A2, …, An fikr o‘zgaruvchilarining KNSh yoki DNSh lari mukammal deyiladi.
• Masalan: A&B\/⌐A&B\/A&⌐B – A va B fikr o‘zgaruvchilarining Mukammal diz’yunktiv normal shakli (MDNSh) bo‘ladi. A\/B – esa MKNSh bo‘ladi.
• Teorema 1. Har bir ayniy yolg‘on bo‘lmagan formula yagona MDNF ega bo‘ladi.
• Teorema 2. Har bir tavtologiya bo‘lmagan fikrlar algebrasi formulasi, yagona MKNSh ga ega bo‘ladi.