BooleanConvert( x && y && z, "NAND" )