WisFaq!

Tautologie of

((p®q)Ù(q®r))®(p®r)

is een :

-tautologie
-contigentie
-absurditeit

derrik
11-3-2004

Antwoord

We weten dat p®q = p' + q.

((p®q)Ù(q®r))®(p®r) =

((p' + q).(q' + r))®(p' + r) =

((p' + q).(q' + r))' + (p' + r) =

(p' + q)' + (q' + r)' + (p' + r) =

p.q' + q.r' + p' + r =

(p.q' + p') + (q.r' + r) =

(q' + p') + (q + r) = (q' + q) + p' + r = 1 + p' + r = 1

Dit is het bekende "syllogisme" en is inderdaad steeds waar.

LL
11-3-2004