I'm trying to figure out how to do this problem and I was wondering if anyone on here knew how to solve it.


1. ((x-Fx v xGx) v -(xKx → -yzw-Dyzw)) & ((xFx & x-Gx) v (xKx → yz∀wDyzw))

x(((Fx → Gx) → (Kx → yzwDyzw)) & ((yzw-Dyzw → -Kx) → (-Gx → -Fx)))



Thanks if anyone can.