Add the truth table printing function and the NORG operator in the eval function