New answers tagged logic
2
Cases[Tuples[{True, False}, 2], {a_, b_} /;
Equivalent[a, b] && Equivalent[b, Xor[a, b]]]
(*{{False, False}}*)
FindInstance[Equivalent[a, b] && Equivalent[b, Xor[a, b]], {a, b}, Booleans]
(*{{a -> False, b -> False}}*)
Top 50 recent answers are included
