error fixed: truth table can no be printed on atom