is a mathematical system for the manipulation of variables that can have one of two values
* In formal logic, the values are "true" and "false"
* In digital systems, the values are "on" and "off" or "1" and "0"
* Boolean expressions are created by performing operations on Boolean variables
* Common operators include AND, OR, and NOT
* A Boolean operator can be completely described using a truth table