Ttcnf -- generate CNF truthtables of 1 to 5 variables

Ttcnf is a program to generate CNF truthtables of 1 to 5 variables.