Konverzija izmedju DNF i KNF se moze vrsiti primenom distributivnog zakona ili raspisivanjem tablice, pa formiranjem DNF ili KNF na osnovu nje. Nijedan metod nije previse efikasan. DNF se naravno moze pretvoriti u SDNF, kao i KNF u SKNF.

Ovo je za mene potpuno novo, pa me interesuje kako se dobija SDNF u ovom zadatku:



Trebalo bi da se dobije

Ja dobijem primenom distributivnih pravila , što je nadam se savršena konjunktivna normalna forma ( je , koliko ja znam, pa je to konjunkcija). Međutim, nikako ne mogu da dobijem onu savršenu disjunktivnu normalnu formu. Može li neko da mi pokaže kako to da uradim?

Pošto je glavni veznik disjunkcija, a tražiš DNF, to ti odgovara, pa samo pretvaraš članove koji su konjunkcije u disjunkcije.



Znači,

.

Hvala na odgovoru, pogledaću ovo pa ću poslati pitanja ako bude eventualnih nedoumica.

Rešio sam problem, ali „proširivanjem“: na primer, pretvorim u , itd.

Takvo "proširivanje" si imao u primeru koji sam naveo.