Boolean Logic Using the Scala Compiler

Jack Wheatley
May 28 · 7 min read
“Contrariwise,” continued Tweedledee, “if it was so, it might be; and if it were so, it would be; but as it isn’t, it ain’t. That’s logic.” — Lewis Carroll, Through the Looking Glass

Getting the language

Truth of Expressions

Boolean Functions

Tautologies

Satisfiability


The Startup

Medium's largest active publication, followed by +477K people. Follow to join our community.

Thanks to James Phillips.

Jack Wheatley

Written by

Scala developer and proponent of functional programming

The Startup

Medium's largest active publication, followed by +477K people. Follow to join our community.