There is a familiar tabular routine for determining, for sentences in which the truth functions are however immoderately iter ated and superimposed, ust what assignments of truth values to the ultI mate component sentences will make the whole compound true; and the tautologies a re the compounds that come out true under all assignments.