Логичка дисјункција

Во математиката, логичка дисјункција (знак или) е логички оператор кој резултира во вистинитост доколку еден од операндите се вистинити.

Кај логиката и математиката, дисјункција е „или-исказ“. На пример „Петре скија или Марко плива“ е дисјункција.

Треба да се забележи дека во секојдневниот јазик зборот „или“ понекогаш значи „било кое, но не двете“ (на пр. „Сакате чај или кафе?“). Кај логиката, ова се нарекува „исклучителна дисјункција“ или „исклучително или“ (ексили). При неговата формална употреба, „или“ им дава на двата дела од исказот (дисјунктите) да бидат вистинити („и/или“), затоа „или“ се нарекува уште и вклучителна дисункција.

За две компоненти A и B таблицата на вистинитост на функцијата е следнава.

Поопшто речено дисјункција е логичка формула која може да има еден или повеќе знаковни константи одвоено само со зборовите ИЛИ. Една единствена знаковна константа се смета за дегенерирана дисјункција.

Математичкиот симбол за логичка дисјункција не е насекаде ист. Покрај зборот „или“, се употребува и знакот „∨“, кој води потекло од латинскиот збор vel (значи „или“). На пример: „A ∨ B “ се чита како „A или B “. Ваквата дисјункција е неточна ако и A и B се неточни. Во сите други случаи мора да е точна.

Следниве се сите дисјункции:

A ∨ B

¬A ∨ B

A ∨ ¬B ∨ ¬C ∨ D ∨ ¬E

Соодветната на неа операција кај теоријата на множествата е унијата.

За работа со повеќе од два елемента, или се применува на првите два елемента, а потоа резултатот на резултатот му се придава „или“ со секој нареден елемент:

(A или (B или C)) ⇔ ((A или B) или C)

Заради тоа што или е асоцијативно, редот на елементите не е важен: го добиваме истиот резултат без разлика на асоцијацијата.

Операторот илли е комутативен и затоа редот на операндите е неважен:

A или B ⇔ C или A

Дисјункцијата често се користи и кај битовата операција. Примери:

• 0 или 0 = 0
• 0 или 1 = 1
• 1 или 0 = 1
• 1 или 1 = 1
• 1010 или 1110 = 1110

Треба да се спомне дека во информатиката операторот ИЛИ (OR) се користи за поставување на еден бит на 1 со проидавање на зборот „ИЛИ“ на битот со 1.

унија која се користи кај теоријата на множествата се дефинира по пат на логичка дисјункција: x ∈ А ∪ B ако и само ако (x ∈ A) ∨ (x ∈ B). Заради ова, логичката дисјункција ги садоволува многу од истите идентитети како пресекот кај теоријата на множествата, како асоцијативност, комутативност, дистрибутивност и Де Моргановите закони.

• Булова алгебра
• логичка конјункција

• Логичка дисјункција на Стенфордската енциклопедија на филозофијата (англиски)
• Ерик В. Вајсштајн. „Дисјункција“ на MathWorld (англиски)

п р у Логички оператори Тавтологија ( ${\displaystyle \top }$ ) НИ ( ${\displaystyle \uparrow }$ )  · Спротивна импликација ( ${\displaystyle \leftarrow }$ )  · Импликација ( ${\displaystyle \rightarrow }$ )  · ИЛИ ( ${\displaystyle \lor }$ ) Негација ( ${\displaystyle \neg }$ )  · ИСКИЛИ ( ${\displaystyle \oplus }$ )  · Двоуслов ( ${\displaystyle \leftrightarrow }$ )  · Исказ НИЛИ ( ${\displaystyle \downarrow }$ )  · неимпликација ( ${\displaystyle \nrightarrow }$ )  · Спротивна неимпликација ( ${\displaystyle \nleftarrow }$ )  · И ( ${\displaystyle \land }$ ) Контрадикција ( ${\displaystyle \bot }$ )