The calculus of logic
George Boole
Страница - 53
Страница - 55
being equivalent to
+
(1 -
), in which
is arbitrary. Eliminating 1 -