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