Expression-based system that uses the operators AND, OR, and NOT; operations are based on variables which can be 1 (true) or 0 (false).