 FACTOID # 19: Cheap sloppy joes: Looking for reduced-price lunches for schoolchildren? Head for Oklahoma!

 Home Encyclopedia Statistics States A-Z Flags Maps FAQ About

 WHAT'S NEW

SEARCH ALL

Search encyclopedia, statistics and forums:

(* = Graphable)

Encyclopedia > Logical disjunction

In logic and mathematics, logical disjunction (written or) is a logical operator that results in true just whenever one or more of its operands are true. If the values 0 and 1 are used for false and true respectively, then: Image File history File links No higher resolution available. ... Image File history File links No higher resolution available. ... A logic gate performs a logical operation on one or more logic inputs and produces a single logic output. ... Image File history File links Logical_disjunction. ... Image File history File links Sound-icon. ... For the Manfred Mann album, see 2006 (album). ... July 21 is the 202nd day (203rd in leap years) of the year in the Gregorian calendar, with 163 days remaining. ... Image File history File links Sound-icon. ... Logic, from Classical Greek Î»ÏŒÎ³Î¿Ï‚ logos (meaning word, account, reason or principle), is the study of the principles and criteria of valid inference and demonstration. ... Euclid, Greek mathematician, 3rd century BC, as imagined by by Raphael in this detail from The School of Athens. ... In logical calculus, logical operators or logical connectors serve to connect statements into more complicated compound statements. ... $a vee b = a + b - ab$.

## Contents

Logical disjunction is an operation on two logical values, typically the values of two propositions, that produces a value of false if and only if both of its operands are false. In mathematics, a finitary boolean function is a function of the form f : Bk â†’ B, where B = {0, 1} is a boolean domain and where k is a nonnegative integer. ... In logic and mathematics, a logical value, also called a truth value, is a value indicating to what extent a proposition is true. ... This article is about the word proposition as it is used in logic, philosophy, and linguistics. ...

The truth table of p OR q (also written as p ∨ q) is as follows: Truth tables are a type of mathematical table used in logic to determine whether an expression is true or whether an argument is valid. ...

Logical Disjunction
p q p ∨ q
F F F
F T T
T F T
T T T

More generally a disjunction is a logical formula that can have one or more literals separated only by ORs. A single literal is often considered to be a degenerate disjunction. Look up literal, literally in Wiktionary, the free dictionary. ...

## Symbol

The mathematical symbol for logical disjunction varies in the literature. In addition to the word "or", the symbol "∨", deriving from the Latin word vel for "or", is commonly used for disjunction. For example: "AB " is read as "A or B ". Such a disjunction is false if both A and B are false. In all other cases it is true.

All of the following are disjunctions:

AB
¬AB
A ∨ ¬B ∨ ¬CD ∨ ¬E

The corresponding operation in set theory is the set-theoretic union. In set theory and other branches of mathematics, the union of a collection of sets is the set that contains everything that belongs to any of the sets, but nothing else. ...

## Associativity and commutativity

For more than two inputs, or can be applied to the first two inputs, and then the result can be or'ed with each subsequent input:

(A or (B or C)) ⇔ ((A or B) or C)

Because or is associative, the order of the inputs does not matter: the same result will be obtained regardless of association. In mathematics, associativity is a property that a binary operation can have. ...

The operator or is also commutative and therefore the order of the operands is not important: A map or binary operation from a set to a set is said to be commutative if, (A common example in school-math is the + function: , thus the + function is commutative) Otherwise, the operation is noncommutative. ...

A or BB or A

## Bitwise operation

Disjunction is often used for bitwise operations. Examples:

• 0 or 0 = 0
• 0 or 1 = 1
• 1 or 0 = 1
• 1 or 1 = 1
• 1010 or 1110 = 1110

## Union

The union used in set theory is defined in terms of a logical disjunction: xAB if and only if (xA) ∨ (xB). Because of this, logical disjunction satisfies many of the same identities as set-theoretic union, such as associativity, commutativity, distributivity, and de Morgan's laws. In set theory and other branches of mathematics, the union of a collection of sets is the set that contains everything that belongs to any of the sets, but nothing else. ... Set theory is the mathematical theory of sets, which represent collections of abstract objects. ... note that demorgans laws are also a big part in circut design. ... Results from FactBites:

 Logical disjunction - Wikipedia, the free encyclopedia (459 words) In mathematics, logical disjunction (usual symbol or) is a logical operator that results in true if either of the operands is true. In logic and mathematics, a disjunction is an "or statement". Because of this, logical disjunction satisfies many of the same identities as set-theoretic union, such as associativity, commutativity, distributivity, and de Morgan's laws.
 Logical NOR - Wikipedia, the free encyclopedia (371 words) The Logical nor or joint denial is a boolean logic operator which produces a result that is the inverse of logical or. The two-input logical NOR operator is commonly described by a truth table, describing the output state for all possible input combinations: NOR has the interesting feature that all other logical operators can be expressed by various functions of nor.
More results at FactBites »

Share your thoughts, questions and commentary here
Press Releases | Feeds | Contact