Exercise · ZW-TRUTH-TABLE-010 · ★★☆ Intermediate
If two formulas have the same final column throughout the table, they are...
Choose one option.
Show answer
- D. Logically equivalent
Explanation
If the final columns match in every row, the formulas have the same value under every assignment, so they are logically equivalent.
Review the concept: Truth table
Let \(P_1,\ldots,P_n\) be atomic propositions. A truth table records the value of a formula for every assignment of them.
\[\left|\mathrm{Asig}(P_1,\ldots,P_n)\right|=2^n\]
More practice problems: truth table
- ZW-TRUTH-TABLE-001 A truth table shows...
- ZW-TRUTH-TABLE-002 With two propositions, a truth table has...
- ZW-TRUTH-TABLE-003 With n propositions, how many possible assignments are there?
- ZW-TRUTH-TABLE-004 What is a truth table used for?
- ZW-TRUTH-TABLE-005 A truth table lets us read the value of a formula for...
- ZW-TRUTH-TABLE-006 A truth table with n variables has...
- ZW-TRUTH-TABLE-007 For two propositions, a complete table has...
- ZW-TRUTH-TABLE-008 A truth table allows comparing...