Дисјункција

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

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

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

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

Обележавање

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

Дефиниција

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

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

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

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

Симбол

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

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

$A \or B$

$\neg A \or B$

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

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

Овај незавршени чланак Дисјункција везан је за математику. Користећи правила Википедије, можете га проширити.