‘Memristive’ switches enable ‘stateful’ logic operations via material implication