( ¬x v y ) v (( x ∧ ( ¬y ) v z )
da v assoziativ ist, kannst du schreiben
( ( ¬x v y ) v ( x ∧( ¬y ) ) v z
und die Verbindung ersten beiden Teile ist immer wahr
denn die erste Klammer ist die Negation der zweiten,
also ist die oder Verbindung der beiden wahr, egal was mit
dem z ist, das ganze ist jedenfalls wahr.