Äquivalenzumformungen < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
Hallo,
kann mir jemand sagen wie ich von
(( [mm] \neg [/mm] F [mm] \wedge G)\vee [/mm] (( [mm] \neg [/mm] F [mm] \wedge G)\wedge [/mm] H)) [mm] \wedge [/mm] ( G [mm] \vee [/mm] H)
auf
( [mm] \neg [/mm] F [mm] \wedge [/mm] G) [mm] \wedge [/mm] ( G [mm] \vee [/mm] H ) komme...
Danke!
|
|
| |
|
ah ok, habe es einfach mit dem Wahrheitstabellen gemacht... und gesehen dass der mittlere Teil null ergibt.
aber wie sieht man sowas ohne ausprobieren? oder sollte man sich das einfach merken?
|
|
|
| |
|
aha....
null ergibt ist natuerlich quatsch...
absorption ist das stichwort
danke!
|
|
|
| |
|
aber andere frage habe ich...
wenn ich eine formel der art habe:
.... A [mm] \wedge [/mm] ( [mm] \neg [/mm] B [mm] \vee [/mm] B)
kann ich ( [mm] \neg [/mm] B [mm] \vee [/mm] B) einfach in der gesamten formel eliminieren, da es ja immer einen wahrheitswert ergibt und das ergebnis nicht beeinflusst?
wie sieht es aus wenn ich
.... A [mm] \vee [/mm] ( [mm] \neg [/mm] B [mm] \vee [/mm] B) habe
kann ich dann auch ( [mm] \neg [/mm] B [mm] \vee [/mm] B) weglassen?
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 15:38 So 11.04.2010 | | Autor: | fencheltee |
> aber andere frage habe ich...
>
> wenn ich eine formel der art habe:
>
> .... A [mm]\wedge[/mm] ( [mm]\neg[/mm] B [mm]\vee[/mm] B)
>
> kann ich ( [mm]\neg[/mm] B [mm]\vee[/mm] B) einfach in der gesamten formel
> eliminieren, da es ja immer einen wahrheitswert ergibt und
> das ergebnis nicht beeinflusst?
da die hintere klammer immer 1 bzw wahr ist, kann man es auch weglassen, ja
>
> wie sieht es aus wenn ich
>
> .... A [mm]\vee[/mm] ( [mm]\neg[/mm] B [mm]\vee[/mm] B) habe
>
> kann ich dann auch ( [mm]\neg[/mm] B [mm]\vee[/mm] B) weglassen?
nein.. da die hintere klammer immer wahr bzw 1 ist, bleibt nur noch
"A oder 1" stehen, abgekürzt wäre das dann 1 - oben hingegen A
gruß tee
>
|
|
|
| |
|
Hallo,
die Antwort hast du dir ja schon selber gegeben, [mm] \Rightarrow [/mm] Absorption
übrigens dann am Ende auch noch mal! Du hast dann [mm] \neg [/mm] F [mm] \wedge [/mm] G [mm] \vee \neg [/mm] F [mm] \wedge [/mm] G [mm] \wedge [/mm] H was sich zu [mm] \neg [/mm] F [mm] \wedge [/mm] G vereinfacht
Gruss Christian
|
|
|
|
