WisFaq!

Propositielogica

(p - q) ^ (r - s) Bewijs: ((p ^ r) - (q ^ s))

(als p dan q) en (als r dan s)
Bewijs dan : (als (p en r) dan (q en s))

Karolien De Brouwer
23-1-2005

Antwoord

((p®q)Ù(r®s))®((pÙr)®(qÙs)) =
((p'+q)(r'+s))®((pr)'+qs) =
((p'+q)(r'+s))' + (pr)' + qs =
(p'+q)' + (r'+s)' + p' + r' + qs =
pq' + rs' + p' + r' + qs =
(pq' + p' = q' + p' en rs' + r' = s' + r')
q' + p' + s' + r' + qs =
(s' + qs = s' +q)
q' + p' + s' + r' + q =
(q' + q = 1)
1 + p' + s' + r' = 1

LL
23-1-2005