matheraum.de
Raum für Mathematik
Offene Informations- und Nachhilfegemeinschaft

Für Schüler, Studenten, Lehrer, Mathematik-Interessierte.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Mathe
  Status Schulmathe
    Status Primarstufe
    Status Mathe Klassen 5-7
    Status Mathe Klassen 8-10
    Status Oberstufenmathe
    Status Mathe-Wettbewerbe
    Status Sonstiges
  Status Hochschulmathe
    Status Uni-Analysis
    Status Uni-Lin. Algebra
    Status Algebra+Zahlentheo.
    Status Diskrete Mathematik
    Status Fachdidaktik
    Status Finanz+Versicherung
    Status Logik+Mengenlehre
    Status Numerik
    Status Uni-Stochastik
    Status Topologie+Geometrie
    Status Uni-Sonstiges
  Status Mathe-Vorkurse
    Status Organisatorisches
    Status Schule
    Status Universität
  Status Mathe-Software
    Status Derive
    Status DynaGeo
    Status FunkyPlot
    Status GeoGebra
    Status LaTeX
    Status Maple
    Status MathCad
    Status Mathematica
    Status Matlab
    Status Maxima
    Status MuPad
    Status Taschenrechner

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Neuerdings beta neu
 Forum...
 vorwissen...
 vorkurse...
 Werkzeuge...
 Nachhilfevermittlung beta...
 Online-Spiele beta
 Suchen
 Verein...
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Dt. Schulen im Ausland: Mathe-Seiten:Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenAussagenlogikLogische reversibilität
Foren für weitere Studienfächer findest Du auf www.vorhilfe.de z.B. Astronomie • Medizin • Elektrotechnik • Maschinenbau • Bauingenieurwesen • Jura • Psychologie • Geowissenschaften
Forum "Aussagenlogik" - Logische reversibilität
Logische reversibilität < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Aussagenlogik"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Logische reversibilität: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 14:00 Mo 02.03.2015
Autor: Helveticus

Hallo

Nehmen wir an, dass wir eine logische Funktion mit 3 inputs p,q und r und 3 outputs haben. Die ersten 2 outputs bestehen aus p und q (unverändert propagiert). Der dritte output ist entweder p [mm] \wedge [/mm] q wenn r = 0 oder [mm] \neg(p \wedge [/mm] q) wenn r = 1.

Die Funktion ist logisch reversibel. Landauer behaupt nun in einem paper, dass diese logische Funktion eine AND operation ausführen kann, welche ja eigentlich nicht logisch reversibel ist und somit dann logisch reversibel wird.

Wie genau kann man ein AND mit der oben genannten Funktion implementieren?

        
Bezug
Logische reversibilität: Antwort
Status: (Antwort) fertig Status 
Datum: 15:26 Mo 02.03.2015
Autor: rmix22


> Hallo
>  
> Nehmen wir an, dass wir eine logische Funktion mit 3 inputs
> p,q und r und 3 outputs haben. Die ersten 2 outputs
> bestehen aus p und q (unverändert propagiert). Der dritte
> output ist entweder p [mm]\wedge[/mm] g wenn r = 0 oder [mm]\neg(p \wedge[/mm]
> g) wenn r = 1.
>  
> Die Funktion ist logisch reversibel. Landauer behaupt nun
> in einem paper, dass diese logische Funktion eine AND
> operation ausführen kann, welche ja eigentlich nicht
> logisch reversibel ist und somit dann logisch reversibel
> wird.
>  
> Wie genau kann man ein AND mit der oben genannten Funktion
> implementieren?

Deine letzten beiden g's sollten sicher q's sein, oder?

Was darfst du denn ausser dieser Funktion noch verwenden?

Wenn du den ersten Eingang konstant mit 1 beschicken darfst, hast du ja mit den unteren beiden Eingängen und dem letzten Ausgang dein AND.
Ansonsten kann ich mir nur die Hintereinaderschlatung zweier dieser Funktionen vorstellen.

a AND b: a wird in in r und p eingespeist, b in q. Der erste Ausgang wird nun der nächsten Funktion als p und auch als q serviert, der letzte Ausgang als r. Der letzte Ausgang der zweiten Funktion is die UND-Verknüpfung von a und b.

Gruß RMix


Bezug
                
Bezug
Logische reversibilität: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 15:51 Mo 02.03.2015
Autor: Helveticus


> Deine letzten beiden g's sollten sicher q's sein, oder?
>  
> Was darfst du denn ausser dieser Funktion noch verwenden?
>  
> Wenn du den ersten Eingang konstant mit 1 beschicken
> darfst, hast du ja mit den unteren beiden Eingängen und
> dem letzten Ausgang dein AND.
>  Ansonsten kann ich mir nur die Hintereinaderschlatung
> zweier dieser Funktionen vorstellen.
>  
> a AND b: a wird in in r und p eingespeist, b in q. Der
> erste Ausgang wird nun der nächsten Funktion als p und
> auch als q serviert, der letzte Ausgang als r. Der letzte
> Ausgang der zweiten Funktion is die UND-Verknüpfung von a
> und b.
>  
> Gruß RMix
>  


Genau, die g's sollten q's sein. Habe es korrigiert.

Es ist nicht genau definiert was man ausser dieser Funktion noch verwenden darf. Im paper "Irreversibility and Heat Generation in the Computing Process" von Landauer ist zuerst die logische Funktion definiert und dann steht: "This is a logically reversible device [die logische Funktion wie von mir beschrieben], its output always defines its input uniquely. Nevertheless, it is capable of performing an operation such as AND which is not, in itself, reversible."

Bezug
                        
Bezug
Logische reversibilität: Antwort
Status: (Antwort) fertig Status 
Datum: 17:36 Mo 02.03.2015
Autor: rmix22


> > Deine letzten beiden g's sollten sicher q's sein, oder?
>  >  
> > Was darfst du denn ausser dieser Funktion noch verwenden?
>  >  
> > Wenn du den ersten Eingang konstant mit 1 beschicken
> > darfst, hast du ja mit den unteren beiden Eingängen und
> > dem letzten Ausgang dein AND.
>  >  Ansonsten kann ich mir nur die Hintereinaderschlatung
> > zweier dieser Funktionen vorstellen.
>  >  
> > a AND b: a wird in in r und p eingespeist, b in q. Der
> > erste Ausgang wird nun der nächsten Funktion als p und
> > auch als q serviert, der letzte Ausgang als r. Der letzte
> > Ausgang der zweiten Funktion is die UND-Verknüpfung von a
> > und b.
>  >  
> > Gruß RMix
>  >  
>
>
> Genau, die g's sollten q's sein. Habe es korrigiert.
>  
> Es ist nicht genau definiert was man ausser dieser Funktion
> noch verwenden darf. Im paper "Irreversibility and Heat
> Generation in the Computing Process" von Landauer ist
> zuerst die logische Funktion definiert und dann steht:
> "This is a logically reversible device [die logische
> Funktion wie von mir beschrieben], its output always
> defines its input uniquely. Nevertheless, it is capable of
> performing an operation such as AND which is not, in
> itself, reversible."

Nun, wenn du selbst nicht genau weißt, was du brauchst, dann wirds schwierig.

Vielleicht verstehe ich ja die Genialität dieser Funktion nicht, aber es scheint mir keine große Kunst zu sein, auch AND Funktion reversibel zu machen, wenn ich ihr noch zwei zusätzliche Ausgänge spendiere, die unverändert die beiden Eingänge zurück liefern.
Im Moment ist mir nicht klar, worin die Besonderheit dieser von dir beschriebenen Funktion liegen soll?

Gruß RMix


Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Aussagenlogik"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.matheraum.de
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]