Fix sample truthtable in main.