蕴涵等值式 A→B⇔┐A∨B 参考: https://www.xuetangx.com/learn/XT0809003778220202/jfjhlssx/12372945/article/22983425