的前束范式是

A (┐R(x)∧Q(x,y))

B
 (┐R(x)∧Q(x,y))

C
(┐R(x)∨Q(x,y))

D
(┐R(x)∨Q(x,y))