In this form of representation — for historical reasons called the "existential interpretation" of logical graphs — we have the following expressions of basic logical operations:
+
In this form of representation — for historical reasons called the "existential interpretation" of logical graphs — we have the following expressions for basic logical operations:
The disjunction <math>x \lor y</math> is written <math>((x)(y)).\!</math>
The disjunction <math>x \lor y</math> is written <math>((x)(y)).\!</math>