C) P Q

R ~S

Q ~S
_______________________
(~P R) (Q V ~S)

(P Q) (R ~S) (Q ~S) (~PR) (Q V ~S)

A B
P Q R S ~P ~S (P Q) (R ~S) (Q ~S) (~PR) (Q V ~S) (P Q) (R ~S) (P Q) (R ~S) (Q ~S) (~PR) (Q V ~S) AB
1 1 1 1 0 0 1 0 0 0 1 0 0 1 1
1 1 1 0 0 1 1 1 1 0 1 1 1 1 1
1 1 0 1 0 0 1 1 0 1 1 1 1 1 1
1 1 0 0 0 1 1 1 1 1 1 1 1 1 1
1 0 1 1 0 0 0 0 0 0 0 0 0 1 1
1 0 1 0 0 1 0 1 0 0 1 0 0 1 1
1 0 0 1 0 0 0 1 0 1 0 0 0 0 1
1 0 0 0 0 1 0 1 0 1 1 0 0 1 1
0 1 1 1 1 0 1 0 0 1 1 0 0 1 1
0 1 1 0 1 1 1 1 1 1 1 1 1 1 1
0 1 0 1 1 0 1 1 0 0 1 1 1 1 1
0 1 0 0 1 1 1 1 1 0 1 1 1 1 1
0 0 1 1 1 0 1 0 0 1 0 0 0 0 1
0 0 1 0 1 1 1 1 0 1 1 1 1 1 1
0 0 0 1 1 0 1 1 0 0 0 1 0 1 1
0 0 0 0 1 1 1 1 0 0 1 1 1 1 1

Es una tautologa