Answer to Question #185711 in Discrete Mathematics for Bashir

Question

Prove that ((P Ꚛ Q) →¬R) ↔¬P is a tautology, a contradiction or contingency.

Answer 1

Solution:

It is neither tautology nor contradiction, hence it is contingency.