多项选择题
下列公式与A∨¬B逻辑等值的有（）。
A.A∨¬A→A∨¬BB.B→AC.¬（¬A∧B）D.¬A→¬B
多项选择题 下列公式满足形式A→（B→C）的有（）。
多项选择题 关于命题逻辑公式的下列说法正确的有（）。
单项选择题 在PN推演中，“∨-”规则指的是（）。
