Matematička logika, savršena knf (dnf)

[pero]

Prvi zadatak na školskoj zadaći je bio: nađite najjednostavniju savršenu knf (dnf) za formulu F (F je zadana )

Znači nađem neku dnf i ona izgleda nekako ovako

(-P * -Q * -R) + (-P * Q * -R) + (P * -Q * R)

- negacija
* konjunkcija
+ disjunkcija

pitanje je: kako da sad to 'skratim' da dobijem najjedostavniju savršenu dnf?
(nisu li savršene dnf i knf jedinstvene )

[Markec]

[pero]

To mi je jasno.

Pitanje je kaj ako imam knf koja nije savršena, kak da iz nje dobijem savršenu?
Moram provjeravat koje elementarne disjunkcije su međusobno ekvivalentne pa neke izbacit ili ... ?

[Grga]

Prosiris je. Naime ako ti u nekoj o delementarnih disjunkcija fali neka propoziocionalna varijabla, onda napravis dvije elementarne disjunkcije, jednu u kojoj imas tu varijablu i jednu u kojoj je imas negiranu

_________________
Bri