输出率是一个逻辑恒等式

如果P Q R 表示两个命题变元

（P∧Q→R）恒等于(P→(Q→R))

应用时用命题变元替换P Q R （代入规则）

也可用（P∧Q→R）和(P→(Q→R))在逻辑表达式用相互替换（替换规则）