I believe I read recently that some experimental logic circuits work best when creating an "implies" gate (fewer circuit elements vs a nand), so implies is used as the fundamental gate.

Edit: jonsen's post has better information. I was indeed thinking of a memristor.