Exprtest Session:
Build formulas suitable for my prover.
( X v X );( X & X );( X -> X );~ X ; X
Variables:
A list of variable symbols with no spaces.
ABCDEFGHIJKLMNOPQRSTUVWXYZ
Misc:
Depth Of Recursion:
The maximum depth of recursion in building an expression.
Starting Seed:
The starting value to generate expressions from.
Generate
Output:
Refresh to reset the page.
main page