Notations of OR

In logic and mathematics, OR is a connective in logic which yields true  if any one of a sequence conditions is true, and false if all conditions are false.

Description of this symbol

• OR in OpenMath
• OR in MathML
• OR also is described in MathWord and in Wikipedia

Observations of OR

Put your observations here...

English 

 In  the book A Logical Approach to Discrete Math in page 49 we find the disjunction operator is defined by the example on the right.
Find the example in google books link

German 

 The German book Mathematisch-strukturelle Grundlagen der Informatik also define the disjunction operator in page 230, and it is called Disjunktion in German context.
Go directly to the example

Encoding the observations of OR

See encodings