© 2000 Todd Neller.  A.I.M.A. text figures © 1995 Prentice Hall.  Used by permission.
Larrabee Notation
•In the Larrabee paper, a different logical notation is used:
P+Q
PÚQ
P•Q
PÙQ
P
ØP
Larrabee’s Notation
Our Notation