输出率是一个逻辑恒等式如果P Q R 表示两个命题变元(P∧Q→R)恒等于(P→(Q→R))应用时用命题变元替换P Q R (代入规则)也可用(P∧Q→R)和(P→(Q→R))在逻辑表达式用相互替换(替换规则).输出率是一个逻辑恒等式 如果P Q R 表示两个命题变元 (P∧Q→R)恒等于(P→(Q→R)) 应用时用命题变元替换P Q R (代入规则) 也可用(P∧Q→R)和(P→(Q→R))在逻辑表达式用相互替换(替换规则)