Buxoro 2022 Reja: Konyuksiya va dizyunksiya

x₁, x₂, . . . , x_n o’zgaruvchilardan iborat formulada bu o’zgaruvchilar faqat dizyunksiya amali bilan bog’langan bo’lsa, bu formula elementar dizyunksiya deyiladi ya’ni x₁ V x₂ V x₃ V . . . V x_n kabi yoziladi.
Agar mulohazalar algebrasida barcha o’zgaruvchilar faqat konyuksiya amali bilan bog’langan bo’lsa, bu formulaga elementar konyuksiya deyiladi va x₁ Λ x₂ Λ x₃ Λ . . . Λ x_n kabi yoziladi.
Ta’rif: Bir nechta elementar konyuksiyalarning dizyunksiyasiga Dizyunktiv Normal Shakl (DNSH) deb aytiladi ya’ni V . . . V(x_k+1 Λ x_k+2 Λ . . . Λ x_n) kabi yoziladi.
Ta’rif: Bir nechta elementar dizyunksiyalarning konyuksiyasiga Konyuktiv Normal Shakl (KNSh) deb aytiladi va Λ . . . Λ (x_k+1 V x_k+2 V . . . V x_n) kabi yoziladi.
Mulohazalar algebrasida berilgan istalgan formulani KNShga keltirish mumkin.
Mulohazalar algebrasida berilgan istalgan formulani DNShga keltirish mumkin.
DNShga ketirilgan formulani inkor qilib KNShga, KNShdagi formulani inkor qilib esa DNShga keltirish mumkin.
Mukammal konyuktiv va dizyunktiv normal shakllar.
Ta’rif: DNSh formulaga Mukammal Dizyunktiv Normal Shakl deyiladi. Agar bu DNShdagi har bir elementar konyuksiya to’g’ri va to’liq bo’lsa.
Ta’rif: KNSh formulaga Mukammal Konyuktiv Normal Shakl deyiladi. Agar bu KNShdagi har bir elementar dizyunksiya to’g’ri va to’liq bo’lsa.
Teorema: nta elementar mulohazadan iborat bo’lgan formulalardan faqatgina aynan chin formulasini MKNShga keltirib bo’lmaydi qolgan barcha formulalarni MKNShga keltirish mumkin.