Logikgatter XOR in NAND

  • Moin,


    ich hätte eine kurze Frage zu Logikgattern: Meine Aufgabe ist, folgende XOR - Schaltung als reine NAND - Schaltung darzustellen.


    x XOR y = (x * -y) + (-x * y)
    => doppelt negiert und nach Anwendung von De Morgan => -(-(x * -y) * -(-x * y)).


    So weit bin ich bisher. Das Problem ist, dass ich nicht weiß, wie ich die NOTs vor dem ersten y und dem zweiten x weg bekomme. Ist dies überhaupt möglich?


    Legende:
    NOT = -
    AND = *
    OR = +


    Vielen Dank im Voraus!


    Ah, habe es selbst rausbekommen.
    => -(-(-(a * b) * b) * -(-(a * b) * a) )


    Trotzdem danke für die Hilfe ;)

  • Ganz oben bei deiner Funktion für XOR gehst du von einer DNF aus, es sollte aber KNF sein, dann kannst du doppelt negieren und De Morgan anwenden. ;)

    Kontakt: PN - ICQ
    i7 3770K • ASRock Extreme4 Z77 • Thermalright HR-02 Macho • 2x8GB DDR3 1600 • Palit JetStream GTX 680 • Asus Xonar Essence STX
    be quiet! Straight Power E9-CM 580W • Samsung SSD 830 Series 128GB • WD Caviar Green 2TB • 3x WD Caviar Green 3TB • Corsair Obsidian Series 550D

  • Ja, kannste weg bekommen. :)



    Dir hat nur der letzte Schritt gefehlt.
    Man muss wissen/beachten, dass die Negation sich auch als NAND-Gatter darstellen lässt.


    Bsp.: -x = -(x*x)





    MfG AOL