Дисјункција

Из Википедије, слободне енциклопедије
Венов дијаграм за
~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.


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