Algebraic Manipulation - a way to simplify boolean functions.

    literal - single variable within a term that may or may not be complemented

• truth tables
• SOP and POS expressions for XOR function

Standard forms

• Product terms and sum terms
• minterms and maxterms - 2^n minterms or maxterms for n variables
• sum of products (SOP) and product of sum  (POS) forms
• sum of minterms and product of maxterm forms
  • shorthand notation
• two-level circuits AND-OR for SOP and OR-AND for POS
• NAND-NAND and NOR-NOR circuits

Complete logic sets - NOT,AND - NOT,OR - NOT,AND,OR