Exercises

Determine which of the following are (a) tautologies (b) logically true.

1.
(A B) (-A -B)
2.
(A B) (A -B)

Repeat the exercise assuming that

3.
A is logically true.
4.
A is logically false.