若两个逻辑式相等，则他们的对偶式液相等。