輸出率

（P∧Q→R）恆等於(P→(Q→R)) 套用時用命題變元替換P 也可用（P∧Q→R）和(P→(Q→R))在邏輯表達式用相互替換（替換規則）

輸出率是一個邏輯恆等式

如果P Q R 表示兩個命題變元

（P∧Q→R）恆等於(P→(Q→R))

套用時用命題變元替換P Q R （代入規則）

也可用（P∧Q→R）和(P→(Q→R))在邏輯表達式用相互替換（替換規則）