Essential Information & explanations, latest texts & monographs on
Disjunction.
Architecture and Disjunction by Bernard Tschumi
Hidden Faults: Recognizing and Resolving Therapeutic Disjunctions by Steven A. Frankel
Conjunctions and Disjunctions by Octavio Paz
The Genealogy of Disjunction by R. E. Jennings
A Multiple Disjunction Lemma for Smooth Concordance Embeddings (Memoirs of the American Mathematical Society, 431) by Thomas G. Goodwillie
Conjunctions and Disjunctions by Arcade Books
Dividing Muse: Images of Sacred Disjunction in Milton's Poetry by Sanford Budick
Architecture and Disjunction by Bernard Tschumi
Conjunctions and Disjunctions by Octavio Paz
Conjunctions and disjunctions by Octavio Paz
Molecular and Cytogenetic Studies of Non-Disjunction by Terry J. Hassold
Issues in the Semantics and Pragmatics of Disjunction (Outstanding Dissertations in Linguistics) by Mandy Simons
Molecular and Cytogenetic Studies of Non-Disjunction (Progress in Clinical and Biological Research, Vol 311) by Terry J. Hassold
Logical disjunction(Redirected from Disjunction)
In logic and mathematics, a disjunction is an "or statement". For example "John skis or Sally swims" is a disjunction.
Note that in everyday language, use of the word "or" can sometimes mean "either, but not both" (eg, "would you like tea or coffee?"). In logic, this is called an "exclusive disjunction" or "exclusive or". When used formally, "or" allows for both parts of the or statement (its disjuncts) to be true ("and/or"), therefore "or" is also called inclusive disjunction. Note: Boole, closely following analogy with ordinary mathematics, premised, as a necessary condition to the definition of "x + y", that x and y were mutually exclusive. Jevons, and practically all mathematical logicians after him, advocated, on various grounds, the definition of "logical addition" in a form which does not necessitate mutual exclusiveness.
The statement "P or Q" is often written as
P Q
Such a disjunction is false if both P and Q are false. In all other cases it is true.
For two inputs A and B, the truth table of the function is as follows.
A B | A or B
----+--------
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.
For example, all the following are disjunctions:
A B
¬A B
A ¬B ¬C D ¬E
The equivalent notion in set theory is the set theoretic union.
See also
The above article is adapted from from Wikipedia All Wikipedia article text is available under the terms of the GNU Free Documentation License
Recent related patents from USPTO:
6731704: Apparatus and bit-shift method for eliminating interference of cross polarization
6731414: Image processing apparatus
6731400: Color image processing apparatus which performs different image processings depending on region of color image
6728665: SAT-based image computation with application in reachability analysis
6725428: Systems and methods providing flexible representations of work
6725242: Multiple-computer data processing system and method with time-versioned data storage
6725187: Latch inference using dataflow analysis
6725035: Signal translating repeater for enabling a terrestrial mobile subscriber station to be operable in a non-terrestrial environment
6724012: Display matrix with pixels having sensor and light emitting portions
6723858: Estrogenic compounds as anti-mitotic agents
6718291: Mesh-free method and system for modeling and analysis
6714902: Method and apparatus for critical and false path verification
6713865: Semiconductor device having semiconductor element housed in packed with heat sink
6711722: Method for deriving a functional circuit description
6711568: Method for estimating coverage of web search engines
6711534: Method of analyzing a circuit having at least one structural loop between different channel connected components within the circuit
6708328: Employment of value of unknown in portion of partial state space for analysis of part of system
6704710: Assigning meanings to utterances in a speech recognition system
6704700: System for creating expression in universal language, and recorded medium on which translation rules used for the system are recorded
6697961: Method and system for describing predicates in disjuncts in procedures for test coverage estimation
6694325: Database method implementing attribute refinement model
6691283: Optimization of comparator architecture
6691151: Unified messaging methods and systems for communication and cooperation among distributed agents in a computing environment
6690398: Logic analyzer with mixed textual and graphical trigger specification
6682428:
6681383: Automatic software production system
6681374: Hit-or-jump method and system for embedded testing
6681373: Method and apparatus for dynamic buffer and inverter tree optimization
6675261: Request based caching of data store data
6675138: System and method for measuring temporal coverage detection
6665664: Prime implicates and query optimization in relational databases
6663224: Orifice plate with break tabs and method of manufacturing
6662323: Fast error diagnosis for combinational verification
6661918: Background estimation and segmentation based on range and color
6651222: Automatic design of VLIW processors
6651049: Interactive mining of most interesting rules
6651048: Interactive mining of most interesting rules with population constraints
6645510: Method of treating topical ailments
6640231: Ontology for database design and application development
6637887: Multi-display device
6637011: Method and apparatus for quick search for identities applicable to specified formula
6634950: Game system, game providing method, and information recording medium
6634019: Toggling software characteristics in a fault tolerant and combinatorial software environment system, method and medium
6632934: MORC gene compositions and methods of use
6629066: Method and system for building and running natural language understanding systems
6628835: Method and system for defining and recognizing complex events in a video sequence
6618697: Method for rule-based correction of spelling and grammar errors
6617434: Identificiaton of differentially methylated and mutated nucleic acids
6617114: Identification of drug complementary combinatorial libraries
Bibliographic Resources
Updates and comments at Essential Facts blog
Are you interested in Feng Shui?
Price Theory Resources
World Class Photographers
Some philosophical movements
Top PDF and eBook Downloads
|
|
Interesting Links
Sports
Kitchen Knowledge
Hollywood Icons
Mythology
Philosophy
Politics
Retirement
Accounting & Finance
Automobiles
Marketing
Psychology
Academic Subjects
Ancient Greeks
Art & Design
Biology
Biology & Biologists
California
Cats & Dogs
Ethics
Logic
The Greats
Architectural Dates & Places
* Mathematics & Mathematicians
Medical Update d06
More
Chromosomes and Genomics
Enginering Systems 1
Investments
Transportation
Mathematics
Brilliant Mathematicians
Classic Authors
Fear No Exams
Nexus
Characters & countries
Computers + 2
Science Plus
Science & Computers
Quantum Theory
Home, Site-Map
|