Boolean logic: AND-OR (three constitute a complete set)
Material Implication False logic and constitute a complete set of
2010, HP proposed to use the memristor replace the existing CMOS-level logic operations on nature.
Memristor structure: of Pt / of Ti / - TiO2 / of Pt -> Imp
Imp Description: If p, then Q;
example in case of rain, not out (A => B) will be understood.
Rain, do not go out; correct
rain, go out; error
if it does not rain, can not go out, that is correct;
The logical implication RRAM
picture shows the basic logic operation circuit means, two parallel arrays memristor (P, Q), and a series resistor to ground (RG). R (CLOSE) and R (OPEN) are memristor LRS and HRS, the resistance satisfies the relationship: R (CLOSE) << RG << R (OPEN).
The logical variable to be two write operations memristor P and Q, respectively, p and q represents logical variables memristor P and Q memristor resistance state. While applying control pulses to VCOND VSet memristor and P and Q, implemented implication operation q '<- p IMP q; ( see Introduction 324)