कथन प्रतिरूपों पर विचार करें:
$A. (q \to p) \lor (p \to q)$
$B. (\sim p \lor \sim q) \leftrightarrow \sim (p \land q)$
$C. [(p \lor q) \land \sim p] \land \sim q$
$D. (p \land q) \land (\sim p \lor \sim q)$
तब इन कथन प्रतिरूपों की प्रकृति ज्ञात कीजिए।

• A
  $A$ और $B$ व्याघात (contradictions) हैं, $C$ और $D$ पुनरुक्ति (tautologies) हैं।
• B
  $A$ और $B$ पुनरुक्ति हैं, $C$ और $D$ व्याघात हैं।
• C
  $A, B, C, D$ सभी पुनरुक्ति हैं।
• D
  $A, B, C, D$ सभी व्याघात हैं।