Crossbar memory has become an attractive emerging technology in that it can serve as an efficient media for this transition leveraged with two main vectors: one is to provide better performance of the existing computer architecture and the other is to seek for in-memory computing capabilities that erect on completely new computer architectures, so-called non-Von Neumann architectures. The unprecedentedly compact and highly stackable crossbar array structure is anticipated to accomplish the former through comprising a new memory hierarchy, storage class memory (SCM) that bridges the performance gap between DRAM and NAND to facilitate data transfer across different hierarchies. [5,6] On the other hand, the high compatibility of its cell element, memristor, with exotic materials brings about various forms of digital and analog switching, which provide opportunities for various in-memory computing methods ranging from Boolean logic to neuromorphic computing. [7-9] Among the new computing methods being proposed, stateful logic is one way to implement the Boolean logic within the crossbar array. [10] The name originates from the fact that the outcome of a gate operation is concurrently stored at the same spot as where the calculation is taken place, that is, the array serve as both of gates and latches. The data are stored in a non-volatile manner that in fact the crossbar memory by itself can work as a processor, memory, and storage. This implies the power and latency required for transferring data across different hierarchies, namely von Neumann bottleneck, is effectively alleviated. Borghetti et al. has first demonstrated a stateful implication logic based on a conditional writing according to a certain array operation scheme applied on two adjacent memristor cells, where on/off state of one memristor toggles depending on the resistance state of the other. [11] Since then, its versatile derivatives have been reported for different kinds of Boolean logic gate operation. [12-16] Combining the gate operations in sequence, a complete logic cascading is carried out using only two to three memristors, proved through a full adder demonstration. [10,11,13] Unlike in the complementary metal oxide semiconductor (CMOS) logic, where the cascading occurs through the spatially distributed gates that consist of a number of transistors, stateful logic executes it through sequential gate operations at an extremely limited number of memristors. Besides such arithmetic logic cascading, one useful logic operation widely adopted in the non-volatile memory (NVM)