Логичка дисјункција
Во математиката, логичка дисјункција (знак или) е логички оператор кој резултира во вистинитост доколку еден од операндите се вистинити.
Дефиниција
уредиКај логиката и математиката, дисјункција е „или-исказ“. На пример „Петре скија или Марко плива“ е дисјункција.
Треба да се забележи дека во секојдневниот јазик зборот „или“ понекогаш значи „било кое, но не двете“ (на пр. „Сакате чај или кафе?“). Кај логиката, ова се нарекува „исклучителна дисјункција“ или „исклучително или“ (ексили). При неговата формална употреба, „или“ им дава на двата дела од исказот (дисјунктите) да бидат вистинити („и/или“), затоа „или“ се нарекува уште и вклучителна дисункција.
За две компоненти A и B таблицата на вистинитост на функцијата е следнава.
A | B | 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 (англиски)