first version of truth-table