Metadata
Author: WikiMatrix
Data
English[en]
For example, lazy evaluation is sometimes implemented for P ∧ Q and P ∨ Q, so these connectives are not commutative if some of expressions P, Q has side effects.
Spanish[es]
Por ejemplo, a veces se implementa evaluación perezosa para P ∧ Q y P ∨ Q, de modo que estos conectores no son conmutativo si algunas de las expresiones P, Q tiene efecto secundario.