Ein Problem bei einer Aufgabe der Quantoren-Logik

doppelc Gast 17.02.2006 01:56 #387254

Lesenswert?

•

Hallo,
ich habe ein Problem beim Lösen der folgenden Aufgabe:

¬&#923;x(x&#949;A&#8594;x&#949;B) -||- Vx(x&#949;A ^ ¬(x&#949;B))

dabei soll ^ ein "und"-Zeichen sein...
mir geht es hauptsächlich um eine Lösungsstrategie...

bin dankbar für jede hilfe

Antwort Zitieren Bearbeiten Thread verschieben Thread sperren Anmeldepflicht aktivieren Anpinnen Thread löschen Thread mit anderem zusammenführen Beitrag melden

doppelc Gast 17.02.2006 01:57 #387255

Lesenswert?

•

▲
▼

oh ich sehe gerade, das geht so nicht... hier nochmal als .txt anhang...
hoffe das geht so

Angehängte Dateien:

logikaufgabe.txt (34 Bytes)

Antwort Zitieren Bearbeiten Löschen Beitrag melden

Winne Gast 17.02.2006 07:09 #387256

Lesenswert?

•

▲
▼

Sorry aber bei alle Liebe vestehe ich noch nicht einmal die Aufgabe. Ich
sehe nur zuammenhangslos aneinander gereihte Therme verbunden mit
Operatoren,welche ich nochnicht einmal alle zuordnen kann. Eine Legende
mindestens der Operatoren währe sinnvoll wenn Dir irgendwer folgen
können soll und vielleicht irgend eine Erleuterung worum es überhaupt
geht.

Antwort Zitieren Bearbeiten Löschen Beitrag melden

Thread beobachten

Antwort schreiben

Bitte melde dich an, um einen Beitrag zu schreiben.

Bestehender Account

oder

Mit Google-Account einloggen

Noch kein Account?

Die Registrierung ist kostenlos und dauert nur eine Minute.

Jetzt registrieren

Kontakt/Impressum – Datenschutzerklärung – Nutzungsbedingungen – Werbung auf Mikrocontroller.net