“Is there a regular pattern governing the simplification of nested implications in Boolean Algebra?” That’s a train of thought I typed up as a LaTeX paper back in August:
I’d be very interested to know where to find published results like these, especially if they cover the special cases I omitted.
Snapshots of the Labyrinth 