Дисјункција

Венов дијаграм за
$~A\lor B$

Венов дијаграм за
$~A\lor B\lor C$

У логици и математици, дисјункција је логички оператор који враћа вредност тачно, ако су само један или више операнда тачни, а нетачно ако ниједан операнд није тачан.

Из овог разлога се ова операција зове ИЛИ операција (на енглеском OR).

Обележавање

ИЛИ се обично изражава са уметнутним оператором. У математици и логици, обично је ∨; у електроници, +; и у програмирању, | или or.

Дефиниција

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

Таблица истинитости

Таблица истинитости за $~A\lor B$:

УЛАЗ		ИЗЛАЗ
A	B	A ИЛИ B
0	0	0
0	1	1
1	0	1
1	1	1

Симбол

Математички сибол за локичку дисјункцију зависи од литературе. Поред речи или, симбол $\lor$, који долази од латинске речи vel за или, се обично користи за дисјункцију. На пример, A $\lor$ B се чита као A или B. Таква дисјункција је нетачна ако су оба исказа, A и B, нетачни. У свим другим случајевима је тачна.

Примери дисјункције:

$A\lor B$

$\neg A\lor B$

$A\lor \neg B\lor \neg C\lor D\lor \neg E.$

ИЛИ логичка капија