COMPSCI 2S03 Lecture Notes - Logical Conjunction, Operand, The Answers
Document Summary
Give the de nition of the function for expressions of the form t & u , t && u , t | u , and t || u . Remark: &, |, &&, || are called boolean logical and , boolean logical or , logical and , and. &&: stops evaluating if the rst operand evaluates to false since the result will be false. ||: stops evaluating if the rst operand evaluates to true since the result will be true. De ne the incomplete conditional test using a complete test and a statement skip. Give the de nition of the function for do s while(b) . Give the de nition of the function for the declaration of a variable without an initial value. (t | u, e, m, g) = (v w, m(cid:48)(cid:48)) where (v, m(cid:48)) = (t, e, m, g) and (w, m(cid:48)(cid:48)) = (u, e, m(cid:48), g)