用等值演算证明此式为重言式（（￢p∨q）∧（q→r））→（￢p∨r）在线等
问题描述：
用等值演算证明此式为重言式（（￢p∨q）∧（q→r））→（￢p∨r）在线等
答
如图：
用等值演算证明此式为重言式（（￢p∨q）∧（q→r））→（￢p∨r）在线等
如图：