Example

Color == red

x=a+b

x==y

color = blue

Color == red

y = a+b

t

f

t

f

t

f

Q = {Red, Blue, Other}

Relations:

(identity) = {(Red, Red) (Blue, Blue), (Other, Other)}

Need_Red = {(Red, Red)}

Need_other = {(Blue, Blue), (Other, Other)}

Get_Blue = {(Red, Blue), (Blue, Blue), (Other, Blue)}

Color == red

x=a+b

x==y

color = blue

Color == red

y = a+b

Need_red

Need-other

Need_red

Need_other

next

Get_Blue

Previous slide

Next slide

Back to first slide

View graphic version