p q r p && q || !r !(p && (q && !r))
false false false true true
false false true false true
false true false true true
false true true false true
true false false true true
true false true false true
true true false true false
true true true true true