Consider the following logic program P A(x) <- B(x, y), C(y) <- B(x,x) Which of the following first order sentences is equivalent to P?
option-
A - (∀x)[(∃y)[B(x,y)∧C(y)]⇒A(x)]∧¬(∃X)[B(x,x)]
B- (∀x)[(∀y)[B(x,y)∧C(y)]⇒A(x)]∧¬(∃X)[B(x,x)]
C- (∀x)[(∃y)[B(x,y)∧C(y)]⇒A(x)]∨¬(∃X)[B(x,x)]
D- (∀x)[(∀y)[B(x,y)∧C(y)]⇒A(x)]∧(∃X)[B(x,x)]