5.234 Le funzioni di verità delle proposizioni elementari sono risultati di operazioni che hanno le proposizioni elementari come basi. (Chiamo queste operazioni operazioni di verità.)