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).