与运算是计算机中一种基本的逻辑运算方式，与非运算是一种逻辑算法，常在计算机中以“与非门”的形式存在，表示为NAND，“与非”和合取得否定是等价的。

逻辑运算又称布尔运算。布尔用数学方法研究逻辑问题，成功地建立了逻辑演算。他用等式表示判断，把推理看作等式的变换。这种变换的有效性不依赖人们对符号的解释，只依赖于符号的组合规律。