Math 170:  Topic 05

Boolean Logic (truth tables, de Morgan's Laws )

Return to topic index page.

Recognize and appropriately apply Boolean logic along with the construction and use of Truth Tables.

  1. Correctly give the Truth Tables for the basic operations of "and" (symbol ∧), "or" (symbol ∨), and "not" (symbol ¬). For example, construct the truth table for a∧b.
    Web Content:
  2. Correctly construct the truth tables for complex Boolean expressions of up to 4 terms possibly using parentheses. For example, construct the truth table for ¬(a∨b)∧(¬a).
    Web Content:
  3. Correctly use truth tables to demonstrate de Morgan's Laws. For example, use truth tables to show that ¬(a∧b) is equivalent to (¬a)∨(¬b).
    Web Content:

Return to topic index page.

©Roger M. Palay
Saline, MI 48176
August, 2013