#p
#(p | (~p))
#((p & q) -> (p -> (p|q)))
# ((p -> (q->p))|(r&(s|(t->(u|(v->(w|(x|y))))))))
# (a & (b & (c & (d & (e & (f & ( g & (h & (i & (j &  (k & (l & (m & (n & (o & (~a))))))))))))))))
# (~(( p | (q & r))-> ((p | q) & (p | r))))
#(((a|b) & (a|(~b))) & (a -> c))


(((a | b) & (a | (~b))) & (a ->c))