对于任意一个逻辑函数F,如果将其中的 “·” 换成 “＋”,“＋” 换为 “·”,“1”换成 “0”,“0” 换成 “1”,所得到的新的逻辑函数F′称为原函数F的对偶式. 如图：
如果两个逻辑函数F和Z相等,那么它们的对偶式也应相等.