Aussagenlogik

[nufan]

Achja, noch zum Wiki:
Wo soll den die Erklärung hin?
c:logik? Oder Unterkapitel "Junktoren" oder einfach "Wichtige Begriffe" (natürlich in Englisch ) ?

BTW: Das Forum ist noch auf Sommerzeit

[Xin]

Achja, noch zum Wiki:
Wo soll den die Erklärung hin?
c:logik? Oder Unterkapitel "Junktoren" oder einfach "Wichtige Begriffe" (natürlich in Englisch ) ?

BTW: Das Forum ist noch auf Sommerzeit

Hm.. Logik ist ja nicht wirklich mit C alleine Verbunden.
info für Informatik, würde ich sagen, darunter logic.
Also info:logic:conjunction

[Kerli]

Frage: Wer von euch hat Logik jemals in dieser Form beim Programmieren verwendet? *gespannt auf Antwort warte*

Beim Programmieren bis jetzt eher selten, aber es erinnert mich stark an diskrete Mathematik im vorigen Semester. Da war das eines der Hauptthemen neben Matrizenrechnung und Graphentheorie

Obwohl die KKNF und die KDNF sind dort nie vorgekommen...

[nufan]

Noch Lösungsvorschläge? Ich rechne und rechne und bekomm immer nur Müll raus...

[Kerli]

Noch Lösungsvorschläge? Ich rechne und rechne und bekomm immer nur Müll raus...

Ich hab jetzt zwar nicht alles durchgeschaut aber mir ist einmal ein Fehler aufgefallen.


Die DNF ist falsch. Du schreibst da ein paar Zeilen davor einmal "die beiden rechten Ausdrücke “multiplizieren”
" Das darfst du nicht, da die beiden linken Ausdrücke eigentlich geklammert gehören.

[nufan]

Die DNF ist falsch. Du schreibst da ein paar Zeilen davor einmal "die beiden rechten Ausdrücke “multiplizieren”
" Das darfst du nicht, da die beiden linken Ausdrücke eigentlich geklammert gehören.

Stimmt... *wieder mal neu anfang*

EDIT:
Oder doch nicht? v und ^ sind doch gleichberechtigt und dann können klammern weggelassen werden. Ich mach eine Wahrheitstabelle, dann weiß ich mehr.

EDIT2:
Ok, da müssen Klammern hin. Ein gutes Zeichen: Ich hab die richtige KDNF der falschen DNF ausgerechnet...

[Kerli]

Leider kann ich die Ausdrücke nicht posten, da das Forum die Negate nicht darstellen kann.

Du könntest das auch recht gebräuchliche '~' dafür verwenden

Ansonsten ist auch diese Seite recht praktisch. Dort kannst du dir alle benötigten Formen berechnen lassen und dir sogar die Herleitung anschauen.

edit: Die KNF kannst du noch zu "p ^ q" vereinfachen...

[nufan]

Leider kann ich die Ausdrücke nicht posten, da das Forum die Negate nicht darstellen kann.

Du könntest das auch recht gebräuchliche '~' dafür verwenden

Ansonsten ist auch diese Seite recht praktisch. Dort kannst du dir alle benötigten Formen berechnen lassen und dir sogar die Herleitung anschauen.

edit: Die KNF kannst du noch zu "p ^ q" vereinfachen...

Thx für den Link. Das mit der KNF hab ich schon. Komischerweise bekomm ich für die DNF das selbe raus
Aber ich könnte ja Klammern setzen.
Dann bekomm ich für KNF (p) ^ (q) und für die DNF (p ^ q)...

Laut dieser Seite hab ich die KDNF jetzt richtig *freu*



EDIT:
Wie kann die KKNF:
~P v Q v ~R) & (~P v Q v R) & (P v ~Q v ~R) & (P v ~Q v R) & (P v Q v ~R) & (P v Q v R)
sein????
Sollten nicht nur Literale vorkommen, die in der Wahrheitstabelle W sind? Meine WT stimmt laut Website auch (toller Link --> zu Lesezeichen )

[taljeth]

XOR kenn ich nicht.
[...]
Antivalenz gibts auch noch (sieht fast aus wie }). Ist wahr, wenn nur einer der beiden Ausdrücke wahr ist.

Fällt dir was auf?

[nufan]

XOR kenn ich nicht.
[...]
Antivalenz gibts auch noch (sieht fast aus wie }). Ist wahr, wenn nur einer der beiden Ausdrücke wahr ist.

Fällt dir was auf?

Dachte ich mir schon fast