Boolean arithmetic | an arithmetic based on Boolean operations; by substituting 0 for false and 1 for true, its rules for addition (OR) and multiplication (AND) are the same as in ordinary arithmetic, except that 1 + 1 = 1; B. a. may be used to calculate reachability. |