第1题

下列哪个公式可以使得╞Ф是成立的

()

A?q∨p∨r

B(?q∨p∨q)∧(?r∨r)

C(?p∨r)∧q

D(?q∨p∨r)∧(?p∨?r)∧q

第2题

下列哪个公式是霍恩公式()

A(p∧q∧s→p)

∧(q∧r→q)∧(p∧s→s)

B(p∧q∧s→?p)

∧(q∧r→q)

C(?q∧

r→p)

∧(T→s)

D(p2∧p3∧p5→p13∧p27)∧(T→p5)

第3题

下列语义推导关系成立的是()

Ap?q╞p

Bp∨q╞p

C?q,p∨q╞p

Dp╞qv