I 1854 publiserte han . I denne artikkelen behandlet Boole logikk på en ny måte, ved å redusere logikken til enkel algebra. Logiske setninger kunne nå beskrives med symbolsk notasjon og manipuleres ifølge regler som på en måte som lignet på normal matematikk. Dette var starten på det vi i dag kaller boolsk algebra.