bug in truthtable