Mathematische Logik

15.04.2008, 13:04	Seb17	Auf diesen Beitrag antworten »
Mathematische Logik Hallo, zusammen! Besuche zurzeit die Veranstaltung "Mathematische Logik" und soll eine Formel $\begin{eqnarray} \varphi(X_0,...,X_4) \end{eqnarray}$ schreiben, die genau dann gilt, wenn eine gerade Anzahl der Aussagenvariablen (AV) $\begin{eqnarray} X_i \end{eqnarray}$ den Wert 1 zugewiesen bekommt (also wahr sind). Wäre denn Folgendes korrekt? $\begin{eqnarray} \varphi(X_0,X_1,X_2,X_3,X_4):=\neg X_0\oplus\neg X_1\oplus\neg X_2\oplus\neg X_3\oplus\neg X_4. \end{eqnarray}$ $\begin{eqnarray} \oplus \end{eqnarray}$ soll dabei die Addition modulo 2 definieren (auch exklusives Oder). Über eine Bestätigung meiner Gedanken würde ich mich sehr freuen. MfG, Seb17
15.04.2008, 13:54	papahuhn	Auf diesen Beitrag antworten »
Sieht für mich gut aus.

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »