3. boolesche algebra

boolesche algebra

  • Mod

    Fricky667 schrieb:

    Wer von uns liegt nun falsch?

    Du, denn deine Definition des Inversen ist falsch.

    0
  • B

    Wenn man xor statt or als Addition nimmt, erhält man einen Körper. Ohne das: Keine Chance, da es weder bezüglich or noch and Inverse gibt.

    0
  • ?

    inflames2k schrieb:

    Nö, ich behaupte der erste Teil wird ausgewertet, liefert true und damit ist die Bedingung erfüllt und der zweite Teil wird garnicht erst ausgeführt.

    Zu früh am morgen, sorry.

    Keineswegs, das ist schon richtig so.

    0
  • ?

    Oh, ich hab die Seitenanzahl nicht im Blick gehabt. 😃

    0
  • F

    Bashar schrieb:

    Wenn man xor statt or als Addition nimmt, erhält man einen Körper. Ohne das: Keine Chance, da es weder bezüglich or noch and Inverse gibt.

    Bezüglich {0,1, or} ist das inverse Element "a (x) not(a)" == 1
    und bezüglich {0,1, and} ist das inverse Element "a (x) not(a)" == 0

    Das hat alles nichts mit Xor zu tun, noch muss ein Inverses zwangsläufig eine Änderung des Inputs zur Folge haben. Siehe 0 und 1 im ähnlichen Kontext der Ganzen Zahlen.

    Btw, damit etwas ein Körper ist, müssen die Gruppenaxiome erfüllt sein, oder bin ich auf dem Holzweg?

    Btw2, Hi Bashar, vor ~10 Jahren warst du für mich einer der Helden dieses Boards, zusammen mit Volkard. Freut mich, dass du noch hier bist.

    0
  • B

    Fricky667 schrieb:

    Bashar schrieb:

    Wenn man xor statt or als Addition nimmt, erhält man einen Körper. Ohne das: Keine Chance, da es weder bezüglich or noch and Inverse gibt.

    Bezüglich {0,1, or} ist das inverse Element "a (x) not(a)" == 1
    und bezüglich {0,1, and} ist das inverse Element "a (x) not(a)" == 0

    Nope, bezüglich or ist 0 das neutrale Element, es gibt aber kein Element x mit 1 or x = 0, d.h. 1 hat kein inverses.
    Bezüglich and analog: 1 ist das neutrale Element, es gibt aber kein Element x mit 0 and x = 1, d.h. 0 hat kein inverses.

    Es gibt übrigens bis auf Isomorphie nur eine Gruppe mit 2 Elementen.

    Das hat alles nichts mit Xor zu tun

    Das war auch nur ergänzend gemeint.

    , noch muss ein Inverses zwangsläufig eine Änderung des Inputs zur Folge haben. Siehe 0 und 1 im ähnlichen Kontext der Ganzen Zahlen.

    Was meinst du damit?

    Btw, damit etwas ein Körper ist, müssen die Gruppenaxiome erfüllt sein, oder bin ich auf dem Holzweg?

    Ja, mit xor ist das auch der Fall, wie gesagt. Mit or nicht.

    Btw2, Hi Bashar, vor ~10 Jahren warst du für mich einer der Helden dieses Boards, zusammen mit Volkard. Freut mich, dass du noch hier bist.

    Danke. Ich schau gelegentlich noch rein.

    edit: Das habt ihr ja schon ausführlich durchgekaut auf Seite 2 😮 😮 Guck halt mal bei Wikipedia oder in einem Algebra-Buch deiner Wahl die Axiome an, diese Diskussion hier ist doch völlig überflüssig.

    0
  • F

    Fricky667 schrieb:

    Finnegan schrieb:

    Die Elektrotechniker schreiben das gerne mit * und +.

    Ich habe von dieser Notation gehört, bin auch E-Techniker, aber bei uns galt sowas damals (vor etwa 15 Jahren) als exotisch.

    Auch in der Mathematik kann man sich vorzüglich über Quellcode-Formatierung streiten 😉

    Nachdem wir damals einmal für Technische Informatik zur Vereinfachung von digitalen Schaltungen (bevor wir solche Methoden wie Quine–McCluskey kennengelernt haben),
    und einmal für die Logik-Vorlesungen bis zum Erbrechen und seitenweise solche Ausdrücke umformen mussten, bin ich zum Fan dieser "exotischen" Notation geworden.
    Und auch wenn diese nicht weit verbreitet ist, so ist sie denke ich für die meisten Leute übersichtlicher und lesbarer, was letztendlich genau wie bei Quellcode zu weniger Fehlern führt.
    In Logik haben sich bei mir mit "¬∨∧\lnot\lor\land"-Notation damals jedenfalls subjektiv deutlich mehr Fehler eingeschlichen, und ich brauchte spürbar länger für Aufgaben mit vergleichbarer Komplexität.

    "Das haben wir schon immer so gemacht" und "das machen alle so" ist jedenfalls für sich kein gutes Argument eine schlechtere Lösung zu wählen.
    "Andere können es nicht lesen, weil es keiner so macht" akzeptiere ich da schon eher.

    Fricky667 schrieb:

    Konsequenterweise sollte man bei dieser Notation das Minuszeichen als Not-Operator verwenden.

    Dieser Einwand wurde ja schon diskutiert, daher wollte ich eigentlich nur noch einen praktischen Vorzug des Überstichs einbringen: Dieser kann auch über mehrere Terme laufen und somit die
    Aufgabe einer Klammerung übernehmen. Nicht selten hat man solche Kandidaten hier: ¬(\lnot(<furchtbar langer Ausdruck>)). Oft ist sowas auch mehrfach geschachtelt und geht vielleicht sogar über die ganze Zeile.
    Dabei muss ich mir erstmal bewusst werden, dass das, was ich mir gerade ansehe, Teil eines geklammerten Ausdrucks ist, und dieser auch noch invertiert ist. D.h. ich muss mit den Augen eventuell
    ziemlich weit nach links und nach rechts scannen um das zu erkennen. Nicht so bei Überstrich-Schreibweise, hier kann ich ohne "Augen-Scan" direkt sehen, zu wie vielen invertierten Klammerungen der
    Teilausdruck gehört, auf den ich schaue:

    ab+cd+ef+g+h‾‾‾‾\overline{ ab + \overline{ cd + \overline{ ef + g + \overline h } } }

    vs.

    ¬(a∧b∨¬(c∧d∨¬(e∧f∨g∨¬h)))\lnot(a \land b \lor \lnot( c \land d \lor \lnot( e \land f \lor g \lor \lnot h)))

    Vielleicht bin ich wirklich ein "Exot", aber ich für meinen Teil checke bei der ersten Variante wesentlich schneller, was "abgeht" 😉

    Finnegan

    0
Anmelden zum Antworten