Three-valued Logic
other.Memory > 32 all
other.Memory == 32 UNDEFINED
other.Memory != 32 if other has no
!(other.Memory == 32) "Memory" attribute
other.Mips >= 10 || other.Kflps >= 1000
TRUE if either attribute exists and
satisfies the given condition
Previous slide
Next slide
Back to first slide
View graphic version