逻辑代数基本规则

代入规则

整体换元思想

反演规则

反变量即为原变量的¬

注意，不是单个变量上的 ¬ 不变

强行求反函数的话，第一步直接在整个式子加反即可

对偶函数

原变量和反变量不互换

总结

这三个规则都可以用于将已知的公式衍生出多种新公式

例题