NAND as Disjunction of Negations/Proof 1