Propositional Logic, Hardware Implementation, Arithmetic Operations

Topics

• Logic

  • Well-formed formulae and truth tables
  • Satisfiable, unsatisfiable and valid formulae

• Hardware

  • Basic gates and universality
  • NAND, NOR, XOR and XNOR
  • Half and full adders

Learning objectives

1. Realise a logical formula or binary addition as a gate circuit.