当某个逻辑恒等式成立，则该恒等式两侧的对偶式也相等。