用等值演算证明此式为重言式((¬p∨q)∧(q→r))→(¬p∨r)在线等
收藏:
0
点赞数:
0
评论数:
0
关注公众号
一起学习,一起涨知识