मान लीजिए $F_{1}(A, B, C) = (A \wedge \sim B) \vee [\sim C \wedge (A \vee B)] \vee \sim A$ और $F_{2}(A, B) = (A \vee B) \vee (B \rightarrow \sim A)$ दो तार्किक व्यंजक हैं। तो ...... .

• A
  $F_{1}$ और $F_{2}$ दोनों पुनरुक्ति (tautologies) हैं
• B
  $F_{1}$ एक पुनरुक्ति है लेकिन $F_{2}$ पुनरुक्ति नहीं है
• C
  $F_{1}$ पुनरुक्ति नहीं है लेकिन $F_{2}$ एक पुनरुक्ति है
• D
  $F_{1}$ और $F_{2}$ दोनों पुनरुक्ति नहीं हैं