Vorheriges Thema anzeigen :: Nächstes Thema anzeigen |
Autor |
Nachricht |
Efsane Gast
|
Verfasst am: 16. Apr 2006 11:24 Titel: Aussagenlogik: Substitutions-Prinzip |
|
|
hallo leute
hab ein kleines problem. hab in sachen aussagenlogik nicht viel ahnung und dann muss man bei einer aufgabe noch Subst.P. anwenden, aber davon habe ich noch nie was gehört.Ich muss beweisen dass folgende äquivalenz stimmt.
Code: | v = oder
^ = und
((a1 v (a2 v a3)) ^ (a3 v nicht a1)) = ((a2 ^ nicht a1) v a3)
nun habe ich natürlich von vorne angefangen.
((a1 v (a2 v a3)) ^ (a3 v nicht a1))
= ((a2 v (a1 v a3)) ^ (a3 v nicht a1))
= ((a2 v (a3 v (a1 ^ nicht a1))
das in der klammer (a1 ^ nicht a1) ist folglich null und zurück bleibt (a2 v a3) |
anscheinend muss man irgendwo substitutionieren aber keine ahnung wie und was man machen muss.
zusätzliche Information: F1, F2 äquivalent, F3 eine Formel mit einem Vorkommen der Teilformel F1.
Könnt ihr mir weiter helfen? |
|
Nach oben |
|
|
|
Paul_H
Anmeldungsdatum: 01.02.2006 Beiträge: 52 Wohnort: Bonn
|
Verfasst am: 16. Apr 2006 13:49 Titel: |
|
|
Also, Substitution ist normalerweise gaaaaaaaaaaaaaaaaaanz einfach.
Aber mit deinen Informationen kann ich noch nicht viel anfangen.
Wie sind denn genau F1, F2 und F3 definiert, abgesehen von den angegebenen Relationen?
Oder sind das die jeweiligen Paritätsfunktionen? |
|
Nach oben |
|
|
Gast
|
|
Nach oben |
|
|
|