This preview shows page 1. Sign up to view the full content.
CSE4/586 (Spring 2009): Homework 3
Due by Feb 10, in class.
1. (70 points)
True or False? Explain your answer.
1.
stable.P
∨
stable.Q
⇒
stable.
(
P
∨
Q
)
2.
stable.
¬
P
⇒
stable.P
3.
stable.P
∧
stable.Q
∧
(
R
⇒
P
∧
Q
)
⇒
stable.R
4.
PunlessQ
∧
stable.Q
⇒
stable.
(
P
∨
Q
)
5.
P
Q
⇒
P
∧
R
Q
6. (
P
Q
)
∧
((
Q
∨
R
)
T
)
⇒
((
P
∨
R
)
T
)
7. (
P
Q
)
∧
(
P
R
)
∧
stable.R
⇒
P
(
Q
∧
R
)
2. (30 points)
This is the end of the preview. Sign up
to
access the rest of the document.
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
 qwerty

Click to edit the document details