Domain Restriction
V = {v1,v2}
C = {v1 ? v2,v1 ? v2,v1 ? v2}
FF
FT
TF
TT
F?
?T
?F
??
v1=T
TT
Previous slide
Next slide
Back to first slide
View graphic version