The General Form of a Truth-function

?