对偶规则
已知一逻辑函数F,只要将原函数F中所有的“＋”变为“·”,“·”变为“＋”；“0”变为“1”；“1”变为“0”,而变量保持不变、原函数的运算先后顺序保持不变,那么就可以得到一个新函数,这新函数就是对偶函数F'.
其对偶与原函数具有如下特点：
1.原函数与对偶函数互为对偶函数；
2.任两个相等的函数,其对偶函数也相等.这两个特点即是逻辑函数的对偶规则