複製鏈接
請複製以下鏈接發送給好友

輸出率

鎖定
輸出率是一個邏輯恆等式。
中文名
輸出律
作    用
表示兩個命題變元
定    義
邏輯恆等式
因    素
應用時用命題變元替換
如果P Q R 表示兩個命題變元
(P∧Q→R)恆等於(P→(Q→R))
應用時用命題變元替換P Q R (代入規則)
也可用(P∧Q→R)和(P→(Q→R))在邏輯表達式用相互替換(替換規則)