Hi guys! this is a simple but honest question. I’m trying to remove all implications on a predicate logic expression, as it goes:
(A->B) equals (~A.B)
this one is pretty simple, and i used regex to solve it. However, my problem is to do something more generic, that could convert something like this:
((A->B)->(B->(C->D)) equals (~(~A.B).(~B.(~C.D))
any ideas?