UCD Wombat Truth Table

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

query-variables([A,B,C],X).