Experimental verification of memristor-based material implication NAND operation