5.32
All truth-functions are results of the successive application of a finite number of truth-operations to elementary propositions.
All truth-functions are results of the successive application of a finite number of truth-operations to elementary propositions.