Anda di halaman 1dari 3

p q r s t ¬p ¬q ¬r ¬s ¬t p→q r→s (p→q)∧(r→s) q∧s (q∧s)→¬t

v v v v v f f f f f v v v v f
v v v v f f f f f v v v v v v
v v v f v f f f v f v f f f v
v v v f f f f f v v v f f f v
v v f v v f f v f f v v v v f
v v f v f f f v f v v v v v v
v v f f v f f v v f v v v f v
v v f f f f f v v v v v v f v
v f v v v f v f f f f v f f v
v f v v f f v f f v f v f f v
v f v f v f v f v f f f f f v
v f v f f f v f v v f f f f v
v f f v v f v v f f f v f f v
v f f v f f v v f v f v f f v
v f f f v f v v v f f f f f v
v f f f f f v v v v f v f f v
f v v v v v f f f f v v v v f
f v v v f v f f f v v v v v v
f v v f v v f f v f v v v f v
f v v f f v f f v v v f f f v
f v f v v v f v f f v f f v f
f v f v f v f v f v v f f v v
f v f f v v f v v f v v v f v
f v f f f v f v v v v v v f v
f f v v v v v f f f v v v f v
f f v v f v v f f v v v v f v
f f v f v v v f v f v f f f v
f f v f f v v f v v v f f f v
f f f v v v v v f f v v v f v
f f f v f v v v f v v v v f v
f f f f v v v v v f v v v f v
f f f f f v v v v v v v v f v

v
(p→q)∧(r→s)∧(q∧s→¬t) [(p→q)∧(r→s)∧(q∧s→¬t)∧¬t] ¬rv¬p
f f f
v v f
f f f
f f f
f f v
v f v
v f v
v f v
f f v
f f f
f f f
f f f
f f f
f f v
f f v
f f v
f f v
v v
v f
f f
f f
f f
v f
v v
v f
v v
f f
f f
v f
v v
v f
v v
[(p→q)∧(r→s)∧(q∧s→¬t)∧¬t]→(¬r v¬p)

Anda mungkin juga menyukai