Complete Truth-table Exercise

Construct truth-tables for the following wffs.  This is not an online exercise, but one that you should do with good-old-fashioned paper and pencil. Answers are provided to some via a link. When you've covered the material on logical status, go back and determine the logical status of these wffs from the truth-tables.

1. (A ⊃ ~B) v (~B & A)

2. (A ⊃ B) ⊃ (B ⊃ A)

3. (C & ~D)  ≡ ~(~C v D)

4. ~~(A ⊃ ~B) v (~C & ~A)

5. (A v ~A) v (A ⊃ B)

6. (~A ⊃ ~B) ≡ (~B ⊃ ~A)

7. (A ⊃ ~B) ≡ (~B v ~A)

8. (C v (D & E))  ⊃ ((C v D) & (C v E))

9. ~(A ⊃ (B ⊃ A))

10. A & (B v ~(C ≡ ~A))