Inclusive disjunction

220px|thumb|Venn diagram of 
Inclusive disjunction (also called or) is a logic operation. It normally takes two truth values as inputs and returns one truth value as output. It is false when both inputs are false, but is true otherwise. It is written with the symbol .

In general, given two propositions  and ,  is true if  is true, or if  is true, or if both  and  are true.

This is different from the exclusive disjunction, which asserts "either x or y, but not both".

 Related pages 

 Alternative
 Boolean algebra
 Horn clause
 Logical conjunction
 XOR gate

 References 

Category:Logic
Category:Logical connectives