Because, apparently, our competitors' logic was questionable.

We've taken the liberty of creating a logic checker for the most basic of tasks: deciding whether a given statement is true or false.

Enter your statement below, and we'll put it to the test.

Advanced Features

Our premium features for the most discerning logicians.

Boolean Algebra - Because sometimes you just need to get really basic.

Epistemic Logic - For when you need to be really, really sure.

Propositional Logic - For the really, really, really sure folks.

For when you just need to get basic.

Epistemic Logic

For when you just know it's true.

For when you just know you know it's true.