truthtable output stuff