Sum Domains: Truth values as disjoint union

Domain Tr = TT + FF

where TT = Unit and FF = Unit

Operations: true = inTT()

false = inFF()

not(t) = cases t of

isTT() ? inFF()

[] isFF() ? inTT()

end

or(t, u) = cases t of isTT() ? inTT()

[]isFF() ? (cases u of isTT() ? inTT() [] isFF() ? inFF() end)

end

Previous slide

Next slide

Back to first slide

View graphic version