“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.
-
Subscribe
Subscribed
Already have a WordPress.com account? Log in now.
Snapshots of the Labyrinth 