disjunctive

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. In grammar, or is a coordinating conjunction.
See more at Wikipedia.org...

Disjunktion („Oder-Verknüpfung“) und Adjunktion sind in der Logik die Bezeichnungen für einen Typ von Aussage, bei dem zwei Aussagesätze durch ein nicht ausschließendes oder durch ein ausschließendes oder verbunden sind:Die nicht ausschließende Disjunktion „A oder B (oder beides)“ sagt aus, dass mindestens eine der beiden beteiligten Aussagen wahr ist. Sie ist also nur dann falsch, wenn sowohl A als auch B falsch sind.Die ausschließende Disjunktion (exklusives Oder, XOR) „(entweder) A oder B (aber nicht beides)“ sagt aus, dass genau eine der beiden beteiligten Aussagen wahr ist. Die ausschließende Disjunktion ist daher falsch, wenn entweder beide beteiligten Aussagen falsch oder wenn beide beteiligten Aussagen wahr sind. Die ausschließende Disjunktion wird auch Kontravalenz genannt und unter diesem Stichwort näher behandelt.Nur gelegentlich wird auch die nicht ausschließende Disjunktion der Verneinungen der beteiligten Aussagen als Disjunktion von A und von B bezeichnet, das heißt die Aussage „nicht A oder nicht B (oder beides)“ beziehungsweise äquivalent „nicht (A und B)“; üblich ist für diese Verknüpfung die Bezeichnung NAND oder Sheffer-Operator.
Mehr unter Wikipedia.org...

Alternatywa (suma logiczna) - w logice to:Działanie dwuargumentowe określone w dowolnym zbiorze zdań bądź w zbiorze funkcji zdaniowych, które zdaniom (funkcjom zdaniowym) i przypisuje zdanie (funkcję zdaniową) prawdziwe wtedy i tylko wtedy gdy prawdziwe jest przynajmniej jedno ze zdań (funkcji) i Dwuargumentowy spójnik zdaniowy, oznaczany (łac. ) o znaczeniu odpowiadającemu wyżej zdefiniowanemu działaniu określonemu w zbiorze . Od poprzedniej definicji różni się tym, że jest definiowany na poziomie syntaktycznym, dzięki czemu unika się określania jego dziedziny.Zdanie logiczne postaci , gdzie i są zdaniami.
W celu uzyskania więcej informacji, zobacz w Wikipedia.οrg...

Logische disjunctie (symbool: OR of in het Nederlands OF) is een logische operator die waar oplevert als één van de kanten (disjuncties) waar is.
Zie meer op Wikipedia.org...

数理論理学において、論理和（ろんりわ）とは、与えられた複数の命題のいずれか少なくとも一つが真であることを示す論理演算である。ORとも表す。二つの命題 P, Q に対する論理和を P ∨ Q と書き、「P または Q」と読む。 注意：日本語において、日常の言葉としての「または」は論理和ではなく排他的論理和を意味することが多い。
Wikipedia.orgをもっと見ると…