Wahrheitswertfunktionen f