0 Daumen
1,7k Aufrufe

Wie kann man diese Formel durch Umformungen möglichst vereinfachen, so dass leicht zu erkennen ist dass es sich um eine Tautologie handelt.

\( (X \wedge \neg Y) \rightarrow((X \rightarrow Y) \rightarrow Z) \)

Ich habe es was umgeformt zu:

\( (\neg X \vee Y) \vee((X \wedge \neg Y) \vee Z) \)

Welche Umformungen sind noch möglich um die Tautologie offensichtlich darzustellen.

Avatar von

1 Antwort

0 Daumen
 
Beste Antwort


(  ¬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.

Avatar von 289 k 🚀

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community