Hello all,(adsbygoogle = window.adsbygoogle || []).push({});

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

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Predicate logic and one point rule using Z notation

**Physics Forums | Science Articles, Homework Help, Discussion**