5. a': Assignment
6. a' extends a
(a |= 
x 
a' |= x ) & (a |
x a' | x)
a,a':Assignment. a' extends a (a |= x a' |= x ) & (a | x a' | x) a,a':Assignment. a' extends a (a |= x a' |= x ) & (a | x a' | x)| 1 | 4. a: Assignment 5. a': Assignment 6. a' extends a (a |= x a' |= x ) & (a | x a' | x) |
About:
 |  |  |