You are viewing a single comment's thread.

view the rest of the comments →

0
0

[–] JesusOfNazareth62 ago  (edited ago)

Let's say @Bojangles said ((A ^ B) <-> C) was true, or always true (a tautology), and he challenged you to find a counterexample.

You have one. Where A and B are true but C is false.

Are there other counterexamples?

We have three terms, A, B, and C. That means there are 8 possible truth values for them. If there was A, B, C, D, there would be 16 possibilities. Get that?

So, how many of the 8 possibilities makes ((A ^ B) <-> C) false? Those are the counterexamples.