SML kordamisküsimustele vastused.
3) Viia konjunktsioonid disjunktsioonidest sügavamale.
4) Jätta ära samaselt väärad ja korduvad liikmed ning liikmetest korduvad literaalid.
5) Lisada liikmetele puuduvad lausemuutujad ning viia uuesti konjunktsioonid
disjunktsioonidest sügavamale.
6) Järjestada igas liikmes literaalid ja jätta ära korduvad liikmed.
Täielikule konjunktiivsele normaalkujule viimise algoritmi sammud
1) Elimineerida valemist implikatsioonid ja ekvivalentsid.
2) Viia eitused vahetult lausemuutujate ette, jätta ära kahekordsed eitused.
3) Viia disjunktsioonid konjunktsioonidest sügavamale.
4) Jätta ära samaselt tõesed ja korduvad liikmed ning liikmetest korduvad literaalid.
3
elementaarkonjuktsioonide disjunktsiooni
4
SML õpik lk. 27
annaabi.ee 
