Viimane redaktsioon: 3. aprill 2021, kell 12:16

Konjunktiivne normaalkuju (CNF)

Teisendame konjunktiivsele normaalkujule:

1. A <=> (B v C)

Ekvivalentsus <=> tähendab, et seos kehtib mõlemat pidi:

2a. A => (B v C)
2b. (B v C) => A

Asendame mõlemas valemis implikatsioonitehte =>:

3a. -A v (B v C)
3b. -(B v C) v A

Esimeses (3a) võib lihtsalt sulud ära jätta, teisel juhul (3b) tuleb aga DeMorgani seadust rakendada:

4b. (-B & -C) v A

Peale sulgude avamist saame:

5b. (-B v A) &  (-C v A)

Ehk siis kokku saime disjunktid (clause), mis kõik samal ajal kehtivad (mõtle, et ridade vahel on "&"):

-A v B v C
-B v A
-C v A

Tee nüüd ise sama teisendus kollimaailma reegliga B₂₂ <=> (P₁₂ v P₂₁ v P₂₃ v P₃₂).

CNF teisendus on toodud ka slaididel, lk 29-30.

@@ 45. rida: / 45. rida: @@
 Tee nüüd ise sama teisendus kollimaailma reegliga ''B<sub>22</sub> <=> (P<sub>12</sub> v P<sub>21</sub> v P<sub>23</sub> v P<sub>32</sub>)''.
-CNF teisendus on toodud ka [[Media:Chapter07-abbrev2.pdf|slaididel]], lk 68.
+CNF teisendus on toodud ka [[Media:ITI0210_w7.pdf|slaididel]], lk 29-30.
 [[Category:Iti0210]]