单项选择题

子句和P经过消解以后,得到
A、P
B、Q
C、~P
D、~Q