FOL-Optimizer


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 500:

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



Powered by webMathematica

Datenschutzerklaerung

© Timm Lampert / 2018-04-09