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.

Name:  127_8cd87652721067acc2f2a1af99d8b9db.png
Views: 691
Size:  2.7 KB

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!