刻画“p，除非q”的逻辑形式为（ ）
A: q®p
B: Øq®p
C: p®q
D: p®Øq
A: q®p
B: Øq®p
C: p®q
D: p®Øq
举一反三
- “q除非￢p”对应的逻辑表达式为： A: p→q B: q→p C: p∧￢q D: ￢q∧p
- 以下逻辑表达式的值恒为真的是（ ） A: P∨（┓P∧Q）∨(┓P∧┓Q) B: Q∨（┓P∧Q）∨（P∧┓Q） C: P∨Q∨（P∧┓Q）∨（┓P∧Q） D: P∨┓Q∨（P∧┓Q）∨(┓P∧┓Q)
- (p → q) ∧ (¬p → q) 的逻辑等价形式有 A: F→ q B: T→ q C: q D: (¬p ∧ q) ∨ (p ∧ q) ∨q E: (¬p ∧ q) ∨q
- 以下逻辑公式中，（）是(~p∨~q)Þ(pÛ~q)的主析取范式。 A: (p∧q)∨(p∧~q)∨(~p∧q) B: p∨q C: (p∧q)∨(p∧~q) D: (p∧~q)∨(~p∧q)
- 判断“天若有情天亦老”的逻辑形式是（ ） A: P→q B: P←q C: p←→q D: p∨q