知识
DEFINITION 1 Tautology(重言式) & Contradiction(永假式) & Contingency
Logical Equivalences
Logically Equivalent 三
Method Use a truth table to determine whether two compound propositions are equivalent
TABLE 2 De Morgan's Laws
TABLE 6 Logical Equivalences
The identities in Table 6 are a special case of Boolean algebra identities found in Table 5 of Section 12.1. See Table 1 in Section 2.2 for analogous set identities.