7. a': Assignment
8. a' extends a
(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,a':Assignment.
a' extends a (a |= x1x2 a' |= x1x2 ) & (a | x1x2 a' | x1x2)| 1 | 6. a: Assignment 7. a': Assignment 8. a' extends a (a |= x1x2 a' |= x1x2 ) & (a | x1x2 a' | x1x2) |
About:
 |  |  |