最简与或非式的推导

最简与或非式的推导

最小项是逻辑代数中一个重要概念。一般地说，对于n个变量，如果P是一个含有n个因子的乘积项，而且每一个变量都以原变量或者反变量的形式，作为一个因子在P中出现且仅出现一次，那么就称P是这n个变量的一个最小项，n个变量一共有个最小项，因为每一个变量都有原变量，反变量两种形式，而变量个数是n。