Every Boolean equation is equivalent to its dual, in which the operations of union and intersection are interchanged and simultaneously all variables are complemented.
For example,
is equivalent to
.
B1 is also called propositional calculus. It is the calculus of truth values (0 = false, I = 1 = true,
= or,
= and, - = not).
Boolean variables and operations can be used in high-level programming languages (TRUE, FALSE, OR, AND, NOT, sometimes XOR).
Sometimes the rules of Boolean algebra can also be used to simplify considerably the logic of a complicated sequence of tests.