代入定理

代入定理指，在任何一个包含 的逻辑等式中，若以另外一个逻辑式代入式中 的位置，则等式依然成立。因为逻辑式和 A 均只有 0 和 1 两种取值，因此代入定理可以被看为是无需证明的公理。