Logical Reasoning

Virginia SOL DM.LR.3

Apply Boolean algebra to represent and analyze logical gates and circuits.

What students need to be able to do

  • Explain basic properties of Boolean algebra: duality, complements, and standard forms.
  • Represent verbal statements as Boolean expressions.
  • Apply Boolean algebra to prove identities and simplify expressions.
  • Generate truth tables encoding the truth and falsity of two or more statements.
  • Explain the operation of discrete logic gates.
  • Describe the relationship between Boolean algebra and electronic circuits.
  • Analyze a combinational network using Boolean expressions.
  • Design simple combinational networks using NAND, NOR, and XOR gates.