Truth table generator

Ex. ab + (c and (a xor b))

History