If you consult this page for the first time, read Syntax. Do not use free variables, names, identity or mathematical functions.

Enter a logical formula:

Your input in TraditionalForm (including quantifier definitions and omitted →, ≡, ⊽, ⊼, ⊻):

Enter a time constraint in seconds up to 300:

The result is ({time in seconds,result}):

The print output is:




Powered by webMathematica


© Timm Lampert / 2018-04-10