- #1

- 3

- 0

I'm in the process of simplifying the following equation using one-point rule and other predicate logic. But I’m a bit stuck with where to start or which inference rule to use first.

Please help or any pointers would be much appreciated.

Thanks