Short-circuit evaluation denotes the semantics of propositional connectives in which second argument is evaluated only if first insufficient to determine value expression. Compound statements are from left right. widely used programming, with negation and sequential conjunction disjunction as primitives. We study question laws axiomatise short-circuit evaluation. In MSCL (memorising logic), ato...