代入定理

在任何一個包含變數A的邏輯等式中，若以另外一個邏輯式代入式中所有A的位置，則等式仍然成立。 因為變數A僅有0和1兩種可能的狀態，所以無論將A=0還是A=1代入邏輯等式，等式都一定成立。 而任何一個邏輯式的取值也不外0和1兩種，所以用它取代式中的A時，等式自然也成立。

邏輯代數的基本定理。
在任何一個包含變數A的邏輯等式中，若以另外一個邏輯式代入式中所有A的位置，則等式仍然成立。這就是所謂代入定理。
因為變數A僅有0和1兩種可能的狀態，所以無論將A=0還是A=1代入邏輯等式，等式都一定成立。而任何一個邏輯式的取值也不外0和1兩種，所以用它取代式中的A時，等式自然也成立。因此，可以把代入定理看作無須證明的公理。