Primitive Domains

• Truth values

  Domain Tr = B
  
  Operations true: Tr
  false:Tr
  
  not: Tr ? Tr
  or: Tr x Tr ? Tr
  ( _? _ [] _ ): Tr xD xD ? D (for some D)

• Simplify

1. ((not (false)) or false

2. (true or false) ?(seven div three) [] zero

3. not(not true) ? false [] false or true

Previous slide

Next slide

Back to first slide

View graphic version