CleanLogic

Logic toolbox in Clean

Copyright © 2015 Camil Staps. This project is licensed under the MIT license. For more details, see the LICENSE file.

This project is maintained on GitHub. For more information, see the readme file.

Expressions

Enter expressions here, one per line:

Legend

Name	Normally	Here
Negation	¬	`~`
Conjunction	∧	`&`
Disjunction	∨	`\|`
Implication	→	`->`
Equivalence	↔	`<->`

Intermediate steps

Truth table

Truth tables are generated with a server-side Clean program.