Nand is the logical NAND function. It evaluates its arguments in order, giving True immediately if any of them are False, and False if they are all True.
Nand has attribute HoldAll, and explicitly controls the evaluation of its arguments. In Nand the are evaluated in order, stopping if any one of them is found to be False. »
Nand gives symbolic results when necessary, removing initial arguments that are True. »