Hello all,

I'm not sure if anyone here has studied formal systems. I'm studying this module and now trying to simplify the following equation using one-point rule and other predicate logic.

one-point rule-127_8cd87652721067acc2f2a1af99d8b9db-png

I'm not sure what inference rule to use to simply before i can use one-point rule. Specially the implication rule. And of course this is using Z. Any help or a direction would be much helpful.

Thanks very much guys!