Any construction for compounding sentences from sentences is counted in logic as expressing a truth function if it fulfills this condition: the compound has a unique truth value truth or falsity) for each assign ment of truth values to the components.