Operatorenrangfolge < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | | Bei [mm] $\alpha$ [/mm] sollen alle unnötigen Klammern entfernt werden und bei [mm] $\beta$ [/mm] die Klammern so gesetzt werden als gäbe es die Priorität bei der Operatorenrangfolge nicht: |
[mm] $\alpha \equiv ((x_1 \vee (\neg x_2) \wedge x_3)) \wedge ((x_4 \wedge (\neg x_2)) \rightarrow (x_1 \leftrightarrow (\neg x_3))))$
$\alpha \equiv x_1 \vee (\neg x_2 \wedge x_3) \wedge x_4 \wedge \neg x_2 \rightarrow x_1 \leftrightarrow \neg x_3$\\\\
$\beta \equiv \neg x_1 \vee x_2 \wedge x_3 \leftrightarrow x_1 \wedge x_3 \rightarrow \neg x_2$\\
$\beta \equiv (\neg x_1 \vee x_2) \wedge (x_3 \leftrightarrow x_1) \wedge( x_3 \rightarrow \neg x_2)$
Ist das korrekt?
Gruß pathethic
[/mm]
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 14:23 Di 24.02.2009 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
