在元组演算的公式中，有下列 4 个等价的转换规则：

（1）P1∧P2 等价于¬(¬P1∨¬P2)。

（2）P1∨P2 等价于¬(¬P1∧¬P2)。

（3）(∀s)(P1(s))等价于¬(∃s)(¬P1(s))；(∃s)(P1(s))等价于¬(∀s)(¬P1(s))。

（4）P1→P2 等价于¬P1∨P2。

实际上，元组演算就是一种集合的运算，当然遵守集合运算的规则。