This preview shows page 1. Sign up to view the full content.
Unformatted text preview: Consider the program over the boolean variables b , c , and d : b â†’ c := true  b âˆ§ c â†’ d := true Do the following properties hold for the program? Explain your answer. 1. stable. ( Â¬ b âˆ§ c ) 2. stable. ( Â¬ c âˆ§ d ) 3. c d 4. b d 1...
View Full Document
This note was uploaded on 01/04/2010 for the course CSE 123 taught by Professor Qwerty during the Spring '09 term at Ã‰cole Normale SupÃ©rieure.
- Spring '09