- #1

- 27

- 0

**How can we prove that "P V Q" is not a Horn Clause**

Does anyone have an idea how to prove that "P V Q" is not equivalent to any horn formula. All I seem to find is people saying that it is a very clear counter-example, but I need more of a formal method of proof.

Any ideas?

Last edited: