P Q R S ¬P ¬Q ¬R ¬S

V V V V F F F F
V V V F F F F V
V V F V F F V F
V V F F F F V V
V F V V F V F F
V F V F F V F V
V F F V F V V F
V F F F F V V V
F V V V V F F F
F V V F V F F V
F V F V V F V F
F V F F V F V V
F F V V V V F F
F F V F V V F V
F F F V V V V F
F F F F V V V V
¬Q ^ ¬R ^ ¬S P → (¬Q ^ ¬R ^ ¬S) ¬P ^ ¬R ^ ¬S Q → (¬P ^ ¬R ^ ¬S) ¬P ^ ¬Q ^ ¬S
F F F F F
F F F F F
F F F F F
F F F F F
F F F V F
F F F V F
F F F V F
V V F V F
F V F F F
F V F F F
F V F F F
F V V V F
F V F V F
F V F V V
F V F V F
V V V V V
R → (¬P ^ ¬Q ^ ¬S) ¬P ^ ¬Q ^ ¬R S → (¬P ^ ¬Q ^ ¬R) P v Q v R v S
F F
F F
V F
V F
F F
F F
V F
V F
F F
F F
V F
V F
F F
V F
V V
V V
F V
V V
F V
V V
F V
V V
F V
V V
F V
V V
F V
V V
F V
V V
V V
V F
P → (¬Q ^ ¬R ^ ¬S) ^ Q → (¬P ^ ¬R ^ ¬S) ^ R → (¬P ^ ¬Q ^ ¬S) ^ S → (¬P ^ ¬Q ^ ¬R) ^ P v Q v R v S
F
F
F
F
F
F
F
V
F
F
F
V
F
V
V
F