Larrabee Notation

• In the Larrabee paper, a different logical notation is used:

Our Notation

Larrabee’s Notation

ØP

P

PÙQ

P•Q

PÚQ

P+Q