对偶规则

$$F\to F^D$$

• 若一个定理是正确的，则其对偶式也一定正确
• 若两个逻辑式相等，则它们的对偶式也相等
• 即对“对偶式”再求对偶就得原函数本身