Boolean algebra, and other forms of abstract propositional logic, ... "or", and "not" had a similar structure to normal algebra and arithmetic. In normal algebra, ...

Arithmetic circuit: A ... SAT solver: A computational tool that determines if a Boolean formula can be satisfied, commonly applied in formal verification tasks. ZDD: ...