Aussagenlogik
Re: Aussagenlogik
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
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
- nur zu Besuch hier
- Beiträge: 8862
- Registriert: Fr Jul 04, 2008 11:10 pm
- Wohnort: /home/xin
- Kontaktdaten:
Re: Aussagenlogik
Hm.. Logik ist ja nicht wirklich mit C alleine Verbunden.nufan hat geschrieben: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
info für Informatik, würde ich sagen, darunter logic.
Also info:logic:conjunction
Merke: Wer Ordnung hellt ist nicht zwangsläufig eine Leuchte.
Ich beantworte keine generellen Programmierfragen per PN oder Mail. Dafür ist das Forum da.
Ich beantworte keine generellen Programmierfragen per PN oder Mail. Dafür ist das Forum da.
Re: Aussagenlogik
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 Graphentheorienufan hat geschrieben:Frage: Wer von euch hat Logik jemals in dieser Form beim Programmieren verwendet? *gespannt auf Antwort warte*
Obwohl die KKNF und die KDNF sind dort nie vorgekommen...
"Make it idiot-proof and someone will invent an even better idiot." (programmers wisdom)
OpenGL Tutorials und vieles mehr rund ums Programmieren: http://www.tomprogs.at
OpenGL Tutorials und vieles mehr rund ums Programmieren: http://www.tomprogs.at
Re: Aussagenlogik
Noch Lösungsvorschläge? Ich rechne und rechne und bekomm immer nur Müll raus...
Re: Aussagenlogik
Ich hab jetzt zwar nicht alles durchgeschaut aber mir ist einmal ein Fehler aufgefallen.nufan hat geschrieben:Noch Lösungsvorschläge? Ich rechne und rechne und bekomm immer nur Müll raus...
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.
"Make it idiot-proof and someone will invent an even better idiot." (programmers wisdom)
OpenGL Tutorials und vieles mehr rund ums Programmieren: http://www.tomprogs.at
OpenGL Tutorials und vieles mehr rund ums Programmieren: http://www.tomprogs.at
Re: Aussagenlogik
Stimmt... *wieder mal neu anfang*Kerli hat geschrieben: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.
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...
Re: Diskussion C:Logik
Du könntest das auch recht gebräuchliche '~' dafür verwendennufan hat geschrieben:Leider kann ich die Ausdrücke nicht posten, da das Forum die Negate nicht darstellen kann.
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...
"Make it idiot-proof and someone will invent an even better idiot." (programmers wisdom)
OpenGL Tutorials und vieles mehr rund ums Programmieren: http://www.tomprogs.at
OpenGL Tutorials und vieles mehr rund ums Programmieren: http://www.tomprogs.at
Re: Diskussion C:Logik
Thx für den Link. Das mit der KNF hab ich schon. Komischerweise bekomm ich für die DNF das selbe rausKerli hat geschrieben:Du könntest das auch recht gebräuchliche '~' dafür verwendennufan hat geschrieben:Leider kann ich die Ausdrücke nicht posten, da das Forum die Negate nicht darstellen kann.
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...
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 )
Re: Aussagenlogik
Fällt dir was auf?nufan hat geschrieben:XOR kenn ich nicht.
[...]
Antivalenz gibts auch noch (sieht fast aus wie }). Ist wahr, wenn nur einer der beiden Ausdrücke wahr ist.
Re: Aussagenlogik
Dachte ich mir schon fasttaljeth hat geschrieben:Fällt dir was auf?nufan hat geschrieben:XOR kenn ich nicht.
[...]
Antivalenz gibts auch noch (sieht fast aus wie }). Ist wahr, wenn nur einer der beiden Ausdrücke wahr ist.