Boolsk funksjon --> skriv om til Disjunktiv normalform

[psir]

Heisann, forstår ikke mye av det her, har prøvd å lese i boken, men finner ikke mye.

En boolsk funksjon er gitt ved f (p,q,r) = (p q) => r . Skriv opp denne
funksjonen på disjunktiv normalform.

Ikke bare skriv svaret, forklar også!
Takker på forhånd.

[Gustav]

Mener du [tex] f(p,q,r)=(p \vee q) \Rightarrow r[/tex]?
I så fall blir den boolske funksjonen
[tex]f(p,q,r)=(p\wedge r)\vee (q \wedge r)\vee (\neg p \wedge \neg q \wedge \neg r) [/tex] på disjunktiv normalform.

Fremgangsmåte:

Skriv opp sannhetstabell for [tex]f(p,q,r)[/tex].

F.eks. er

[tex]f(0,0,0)=1\\ f(0,0,1)=0\\ f(1,0,0)=0[/tex].

[tex]f(1,0,0)=(1\vee 0)\Rightarrow 0 =0[/tex] etc.


En utfyllende artikkel på tysk Wikipedia om disjunktiv normalform:
http://de.wikipedia.org/wiki/Disjunktive_Normalform