输出率

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