01:20:06 duration 1 hour 20 minutes
ECS20 - W22 - Lecture 3 (2T): Logic 2
Review (particularly of functional completeness). More boolean operators: IMPLIES, IFF, XOR, NAND, NOR. Gates and circuits. A formal treatment of boolean formulas: syntax, truth assignments, and…