George Boole published "An Investigation into the Laws of Thought" in 1854, outlining a system of logic and algebraic language dealing with true and false values. This became known as Boolean logic. Boolean logic uses only true and false values and the basic operations are AND, OR, and NOT. Boolean logic is the basis for modern computing, as electronic circuits can represent Boolean operations using gates. Circuits called AND, OR, and NOT gates perform the corresponding logical operations and form the building blocks for digital logic.