e1&&e2&&... is the logical AND function. It evaluates its arguments in order, giving False immediately if any of them are False, and True if they are all True.
And[e1, e2, ...] can be input in StandardForm and InputForm as . The character can be entered as Esc && Esc, Esc and Esc or \[And]. »
And has attribute HoldAll, and explicitly controls the evaluation of its arguments. In the are evaluated in order, stopping if any of them is found to be False. »
And gives symbolic results when necessary, removing initial arguments that are True. »