WOMBAT: TRUTH TABLES
--------------------
* Enter only AND OR NAND NOT NOR operators to the Expression.
* Variables in your expression query should always begin with capital letters.
* You can enter expression with any number of variables.
To get the output type
table([variables],expression)
Example
query-table([A,B,C],and (A,B,C)).
To get the number of variables in the expression type
variables([variables in the given expression],X)
Example...