命题公式¬(P→Q)的析取范式是( )
问题描述:
命题公式¬(P→Q)的析取范式是( )
A.P^¬Q
B.¬P^Q
C.¬P v Q
D.p v ¬Q
希望大侠们给出答案后稍微说下原因……
答
A
P→Q等值于¬P v Q,再用德摩根律,得P^¬Q,这是组成析取范式的一个简单合取式