added comment on TruthTable format