Formulierte mit der Booleschen Algebra einen Formalismus zur Darstellung der Aussagenlogik.
Siehe auch: Boolesche Variable