George Boole published a work in 1854 that outlined an algebraic system of logic and a corresponding language using true and false values, laying the foundations for Boolean logic. Boolean logic represents a form of mathematics using only true and false values and the basic operations of AND, OR, and NOT, and is the basis of modern computing.