公式A为仅含有逻辑联结词┐，∧，∨及命题变元P1，，…，Pn的命题公式，A*是A的对偶式，则A*（┐P1，┐P2，…，┐Pn)⇔（)。