Propositional logic (source code)

= Propositional logic
{wiki}