代入定理允许我们将逻辑表达式用于替换逻辑变元，基于每个变元运算的二值性质（0或1）。这扩展了我们处理逻辑公式的范围，从两变量到更多变量的情况。反演定理则提供了转换逻辑式的方法，而对偶定理是逻辑推理中的一个重要概念。
代入定理也就是整体替换，能够进行整体替换的原因是每一个逻辑变元的运算结果非1即0，无论是单个逻辑变元还若干个逻辑变元经过运算之后，都是这个结果，所以可以使用一个逻辑式来代替一个逻辑变元。
以上是带入定理的两个例子。通过代入定理可以将之前学过的两变量公式进而拓展为多变量公式。
一个逻辑式可以通过反演定理得到它的反逻辑式。
对偶定理：
扫一扫
评论
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
查看更多评论
添加红包
