Ekspresi "not((P and Q) or (not P or (P and not Q)))" bernilai True jika:

a. P = True, Q = True

b. P = True, Q = False

c. P = False, Q = True

d. P = False, Q = False

e. Berapapun nilai P dan Q, ekspresi tersebut tidak mungkin bernilai true