mikrocontroller.net

Forum: FPGA, VHDL & Co. Ein Problem bei einer Aufgabe der Quantoren-Logik


Autor: doppelc (Gast)
Datum:

Bewertung
0 lesenswert
nicht lesenswert
Hallo,
ich habe ein Problem beim Lösen der folgenden Aufgabe:

¬Λx(xεA→xεB) -||- Vx(xεA ^ ¬(xεB))

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

bin dankbar für jede hilfe

Autor: doppelc (Gast)
Datum:
Angehängte Dateien:

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

Autor: Winne (Gast)
Datum:

Bewertung
0 lesenswert
nicht 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 schreiben

Die Angabe einer E-Mail-Adresse ist freiwillig. Wenn Sie automatisch per E-Mail über Antworten auf Ihren Beitrag informiert werden möchten, melden Sie sich bitte an.

Wichtige Regeln - erst lesen, dann posten!

  • Groß- und Kleinschreibung verwenden
  • Längeren Sourcecode nicht im Text einfügen, sondern als Dateianhang

Formatierung (mehr Informationen...)

  • [c]C-Code[/c]
  • [avrasm]AVR-Assembler-Code[/avrasm]
  • [vhdl]VHDL-Code[/vhdl]
  • [code]Code in anderen Sprachen, ASCII-Zeichnungen[/code]
  • [math]Formel in LaTeX-Syntax[/math]
  • [[Titel]] - Link zu Artikel
  • Verweis auf anderen Beitrag einfügen: Rechtsklick auf Beitragstitel,
    "Adresse kopieren", und in den Text einfügen




Bild automatisch verkleinern, falls nötig
Bitte das JPG-Format nur für Fotos und Scans verwenden!
Zeichnungen und Screenshots im PNG- oder
GIF-Format hochladen. Siehe Bildformate.
Hinweis: der ursprüngliche Beitrag ist mehr als 6 Monate alt.
Bitte hier nur auf die ursprüngliche Frage antworten,
für neue Fragen einen neuen Beitrag erstellen.

Mit dem Abschicken bestätigst du, die Nutzungsbedingungen anzuerkennen.