“与”、“或”、“非”逻辑的基本运算公式是and、or、not
用逻辑运算符将关系表达式或逻辑量连接起来的有意义的式子称为逻辑表达式。逻辑表达式的值是一个逻辑值，即“true”或“false”。C语言编译系统在给出逻辑运算结果时，以数字1表示“真”，以数字0表示“假”，但在判断一个量是否为“真”时，以0表示“假”，以非0表示“真”。
布尔用数学方法研究逻辑问题，成功地建立了逻辑演算。他用等式表示判断，把推理看作等式的变换。这种变换的有效性不依赖人们对符号的解释，只依赖于符号的组合规律 。这一逻辑理论人们常称它为布尔代数。
