Use indirect truth tables to determine whether the following groups of statements are consistent or inconsistent.

1. 

. K ≡ (R ∨ M)

K ∙ ∼ ­R

M ⊃ ∼ K

2.

3.

4.

5. P ∨ ∼ S

S ∨ ∼ T

T ∨ ∼ X

X ∨ ∼ J

J ∨ ∼ P

6.

7.

8.

9.

10.

F = (A~P) A (P S) s: s~F (FvB) Gv~Q) ~(Fv Q) NB Q (FvN)