Mausuf
Misalkan : nilai kebenaran P = B, B, S, S nilai kebenaran Q = B, S, B, S Maka: P = B, B, S, S Q = B, S, B, S ~ Q = S, B, S, B P ⇒ Q = B, S, B, B ~ (P ⇒ Q) = S, B, S, S P ∧ ~ Q = S, B, S, S Jadi nilai kebenaran dari pernyataan ~ (P ⇒ Q) sama dengan P ∧ ~ Q
nilai kebenaran P = B, B, S, S
nilai kebenaran Q = B, S, B, S
Maka:
P = B, B, S, S
Q = B, S, B, S
~ Q = S, B, S, B
P ⇒ Q = B, S, B, B
~ (P ⇒ Q) = S, B, S, S
P ∧ ~ Q = S, B, S, S
Jadi nilai kebenaran dari pernyataan ~ (P ⇒ Q) sama dengan P ∧ ~ Q