a relevantish video: http://www.youtube.com/watch?v=xzRLP_PkV1c
Wikipedia gives the following: "In logic and mathematics, or, also known as logical disjunction or inclusive disjunction is a logical operator that results in true whenever one or more of its operands are true. E.g. in this context A or B is true if A, B or both A and B are true." in the summary @ the beginning of the article.
I find the following claim I read somewhere or wheres interesting, but cannot claim I actually understand it (so heres my bit o' trivia):
Logic gates, as fundamental to modern computer circuits , and @ least some calculator circuits, [etc], prove by hardware realisation that @ least one type oflogic and/or aspect of logic (some of logic) is true, since hardware realised.
I can't imagine that the school of philosophy that doesn't accept anything as true unless they can build a machine that does it ( an actual modern philosophical position, whos name I temperarilly forget, [and which is a type of epistemology, I believe.])