More challenging truth-table exercises
If A, B, C and D are true, and W, X, Y, and Z are false, determine the truth value of the following wffs:
1) (A ⊃ ~B) v (X & Z)
2) ~(~((A v ~X) ⊃ ~(B & ~C)))
3) ((A ⊃ B) ⊃ (C ⊃ D)) ⊃ (X ⊃ Z)
4) (~A ⊃ B) v (X ≡ ~Z)
5) (~A ⊃ ~B) ≡ (~B ⊃ ~A)
6) ~((Z v (A v B)) & ~(A & ~B))
7) (~A ≡ ~(~B & B))
8) (A ≡ (B v ~C)) ⊃ (~D ≡ Z)
9) Z & ~(A v ~A)
10) ~~(~A ⊃ ~B)