5. a': Assignment
6. a' extends a
7. a |= x1
a' |= x1 8. a |
x1 a' | x19. a |= x2
a' |= x2 10. a |
x2 a' | x2
(a |= x1
x2 a' |= x1x2 ) & (a | x1x2 a' | x1x2)
a,a':Assignment. a' extends a (a |= x1 a' |= x1 ) & (a | x1 a' | x1)a,a':Assignment. a' extends a (a |= x2 a' |= x2 ) & (a | x2 a' | x2) (a |= x1x2 a' |= x1x2 ) & (a | x1x2 a' | x1x2)
i.With a (Analyze i) THEN With a' (Analyze -1) THEN Analyze -1 THEN Analyze -1)| 1 | 4. a: Assignment 5. a': Assignment 6. a' extends a 7. a |= x1 a' |= x1 8. a | x1 a' | x19. a |= x2 a' |= x2 10. a | x2 a' | x2 (a |= x1x2 a' |= x1x2 ) & (a | x1x2 a' | x1x2) |
About:
 |  |  |