Vereinfachung Ausdruck < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 22:48 Mi 24.10.2007 | | Autor: | sancho1980 |
Hallo
ich soll in einem Ausdruck die Vorkommnisse von ^ und -> eliminieren und den Ausdruck danach soweit wie moeglich vereinfachen. Das mit dem Eliminieren bekomm ich noch hin. Der Ausdruck ist:
(p ^ (q -> r)) v ~p v ~(q ^ ~r)
Daraus habe ich nun gemacht:
~(~p v ~(~q v r)) v ~p v (~q v r)
Aber wie geht das mit dem Vereinfachen; kann mir das einer erklaeren?
Vielen Dank
Martin
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 22:54 Mi 24.10.2007 | | Autor: | sancho1980 |
ich hatte die frage bereits einmal gestellt und hatte sie dann im matheraum nicht mehr auffinden koennen, da dachte ich sie sei verloren gegangen aber jetz seh ich die is ja doch wieder da und da gabs sogar antworten also ignoriert das hier einfach sorry :)
|
|
|
|
