Wird z. B. die Auswertungsfunktion auf eine Aussage der Form X ∧ W angewendet, wobei W eine beliebige wahre Aussage sein soll, dann stellt man fest, dass die Auswertungsfunktion für X ∧ W immer den Wahrheitswert wahr liefert, wenn V(X)=wahr ist (das heißt V(X∧W)=V(X)).
vˌɪɾt tsˈɛt. bˈeː. diː ˈaʊsvˌɛɾtʊŋsfʊŋktsjˌoːn aʊf ˌaɪnə ˈaʊszˌɑːɡə dɛɾ fˈɔɾm ˈɪks vˈeː ˈanɡəvˌɛndət, voːbˈaɪ vˈeː ˌaɪnə bəlˈiːbɪɡə vˈɑːrə ˈaʊszˌɑːɡə zaɪn zˌɔl, dan ʃtˈɛlt man fˈɛst, das diː ˈaʊsvˌɛɾtʊŋsfʊŋktsjˌoːn fyːɾ ˈɪks vˈeː ˈɪmɜ deːn vˈɑːɾhaɪtsvˌeːɾt vˈɑːɾ lˈiːfɜt, vˌɛn fˈaʊ ˈɪks ɡlˈaɪç vˈɑːɾ ɪst das hˈaɪst fˈaʊ ˈɪks vˈeː ɡlˈaɪç fˈaʊ ˈɪks.