代入法则:它可描述为逻辑代数式中的任何变量a,都可用另一个函数z代替,等式仍然成立。
对偶法则:它可描述为对任何一个逻辑表达式f,如果将其中的“+”换成“*”,“*”换成“+”,“1”换成“0”,“0”换成“1”,仍保持原来的逻辑优先级,则可得到原函数f的对偶式g,而且f与g互为对偶式。我们可以看出基本公式是成对出现的,二都互为对偶式。
反演法则:有原函数求反函数就称为反演(利用摩根定律)。
我们可以把反演法则这样描述:将原函数f中的“*”换成“+”,“+”换成“*”,“0”换成“1”,“1”换成“0”;原变量换成反变量,反变量换成原变量,长非号即两个或两个以上变量的非号不变,就得到原函数的反函数。