[课堂练习]
  1、
 现有公式[(A=>B)=>B]∨C，在消去蕴涵符号后得到公式：  
A [～(A=>B)∨B]∨C B [～(A∨B)∧B]∨C
C [～(～A∨B)∨B]∨C D [(A∨B)∨B]∨C
 
(本题您已经做了，答案为C，在此仅供复习用,不能再计分!)

返回课堂