従って論理式T{\displaystyleT}は2つの展開を持ち、その1つではx{\displaystylex}は未知であり、もう1つではx{\displaystylex}は既知である。
因此公式T{\displaystyleT}有两个展开，在其中一个中x{\displaystylex}是未知，在另一个中x{\displaystylex}是已知。