# nand3(sum,V).
nand3(a14,V).