摘要：
1. 代入规则 在任何一个逻辑等式中，如果将等式两边出现的某变量 A，都用一个函数代替，则等式依然成立，这个规则称为代入规则。 2. 反演规则 根据摩根定理，由原函数 L 的表达式，求它的非函数 ! A 时，可以将 L 中的与(&&)换成或(||)，或(||)换成与(&&)；再将原变量换为非变量(如 阅读全文
摘要：
0 - 1 律 或 与 非 结合律 或 与 交换律 或 与 分配律 或 与 反演律(摩根定理) 或 与 吸收律 阅读全文