从名称可以看出，在逻辑运算中简化公式很方便。ABa“B=B，（a”=1，a“是变量的逆变量，逻辑变量是二进制逻辑，只能是0或1）。在这里，这个方程也可以通过对偶性来扩展，
（ab）（a“b）=b，这也表明对偶性有助于公式的证明。顾名思义，并集的各个部分首先必须具有相同的因子，然后合并的部分彼此相反。
消除冗余因子的定义有两部分，从2到3。
AA“B=AB，从公式中，它确实是一个消除左公式中一项的因子。证明过程是：（a“）（ab）=ab。这一步使用了分布规律的知识。逻辑运算中的分布规律是非常奇怪的，特别是在这个公式中。利用逻辑运算中的分布规律，可以实现一个变量“或”和两个变量。“或”的分布规律与算术运算相似。
逻辑运算规则？1.逻辑运算符的操作规则：
|或：例如，如果两个条件中的一个为真，则结果为真；
&；和：例如，如果两个条件中的两个同时为真，则结果为真，否则不为真！不，意思是取相反的意思，如果是真的，结果就是假的，如果是假的，结果就是真的。
与或非三种逻辑符号运算法则？“and”、“or”和“not”逻辑的基本运算公式是and、or、not
将关系表达式或逻辑量与逻辑运算符连接起来的有意义的公式称为逻辑表达式。逻辑表达式的值是逻辑值，即true或false。当C语言编译器给出逻辑运算的结果时，它用数字1表示“真”，用数字0表示“假”。但在判断一个量是否为“真”时，它用数字0表示“假”，用数字非0表示“真”。
布尔用数学方法研究逻辑问题，并成功地建立了逻辑演算。他用方程来表达判断，把推理看作方程的变换。这种转化的有效性并不取决于人们对符号的解读，而仅仅取决于符号的组合。这种逻辑理论通常被称为布尔代数。
怎样用逻辑运算符表示逻辑表达式？首先，判断一年为闰年的条件是，Bai可以除以4、100或400。
假设一年是x，那么表达式可以写成：if（（x%4==0&；ampx0==0）||x@0==0)这样，只要满足了“如果”中的条件，就可以判断这一年是闰年。
提醒一下，像这样的数学表达式：0=<x<=10在C语言中的书写方式不同：X>=0&；ampx<=0
��先判断某一年为闰年的条件是：bai能被4整除，同时又能被100整除，或者是能被400整除。假设某一年为x，那么这个表达式就可以写为：if((x%4==0&&x0==0)||x@0==0)这样只要满足if里面的条件就可以判断该年是闰年了。
还有一点提醒一下吧，像这样的数学表达式：0=<x<=10，在C语言里面的写法跟它是不同的：x>=0&&x<=0
其它的表达式就都可以这样类推了~
其中逻辑与和逻辑或是双目运算符，逻辑非是单目运算符。
1.能被4整除，但不能被100整除，也就是说能被4整除的同时不能被100整除：(x%4==0)&&(x0!=0)
2.能被4整除，又能被100整除:
x@0==0，1
2之间是或者关系：：(x%4==0)&&(x0!=0)||（x@0==0）
在逻辑与逻辑或双目运算符中，逻辑不是单目运算符。
1.可以被4整除，但不能被100整除，也就是说，可以被4整除而不能被100整除：（x%4==0）&（x0！=0)
2.可被4整除，可被100整除：x@0==0，1
2:：（x%4==0）&和（x0！=0)||（x@0==0）