If this video helps you in some way then please Like ,Subscribe ,Comment and Share.
If you have any question You can comment . I will definitely answer .
The following propositional statement is
(P → (Q v R)) → ((P ^ Q) → R)
(A) satisfiable but not valid
(B) valid
(C) a contradiction
(D) none of the above
Gate cse
Proposition logic
Discrete Mathematics for gate
DM
Gate 2004