Just read a cool article in Nature about memresistors, or memory resistors, whose resistance can be set and recorded later. This has the same functioning of a memory device but has the form of a resistor. Traditional memory devices use voltage or charge as the physical state variable but these devices use resistance as their physical state variable. They discuss how they have built these devices and by how utilizing a new logic scheme they can create circuits which can either act as logic or memory.
I have just started a new book at home, Introduction to Real Analysis by Michael J. Schramm, and they have been talking about logic but one thing which I had not seen before was this "implication" operation. p-->q <=> not(p) or q. This is an operation that EE's do not see in their classes. Well, these memresistor guys use this material implication operation along with the false operation as a computationally complete logic basis. This is so cool that I've copied the supplemental information into the graphic below:
The author's work on memesistor usage is very important but I found the material implication idea more immediately applicable. Let me finish with the following quote from the paper:
Instead of forcing these familiar Boolean logic shcemes onto new nanoscale devices in doomed competition with ultrahigh-performance silicon integrated circuits, memresistice IMP provides a stateful logic that is an unconventional computation framework determined more by the nano-device properties than any pre-conceived logic architecture.
