[课堂练习]
  
  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

返回课堂