(a=>b)&(b=>c)&(c=>d)&(d=>e)&(e=>f)&(f=>g)&(g=>h)&(h=>i)&(i=>j)&(j=>k)&(k=>l)&(l=>m)&(m=>n)&(n=>o)&(o=>p)=>(a=>p)
~(~(~(~(~(J v P v G) v Q))))
~(~(~(A => W)) v ~((~(B & C)) => (~K)))
((~((A) v (B))) v ~(C v (F v G)))
