University of Washington • CSE583 • D. Notkin © 2000
77
Representing booleans
ltrue º lt · lf · t
lfalse º lt · lf · f