Nand turned into saturated adder with inverter