Дисјункција — разлика између измена

нема резимеа измене
м (Бот Додаје: hy:Դիզյունկցիա)
Нема описа измене
[[Слика:Venn0111.svg|220px|thumb|[[Венов дијаграм]] за<br><math>~A \or B</math>]]
[[Слика:Venn 0111 1111.svg|220px|thumb|Венов дијаграм за<br><math>~A \or B \or C</math>]]
 
У [[логика|логици]] и [[математика|математици]], '''дисјункција''' је логички оператор који враћа вредност тачно, ако су само један или више операнда тачни, а нетачно ако ниједан операнд није тачан.
 
Из овог разлога се ова операција зове '''ИЛИ''' операција (на енглеском '''-{OR}-''').
 
== Обележавање ==
==Таблица истинитости==
'''ИЛИ''' се обично изражава са уметнутним оператором. У математици и логици, обично је '''∨'''; у електроници, '''+'''; и у програмирању, '''|''' или '''-{or}-'''.
Дисјункција је логичка операција над две логичке вредности, типично су то две вредности исказа који могу имати вредност ''тачно'' или ''нетачно'', а резултат операције је ''тачно'' ако је бар један исказ тачан.
 
== Дефиниција ==
Таблица истинитости -{'''p'''}- '''ИЛИ''' -{'''q'''}- (такође се пише и као '''p ∨ q''' (логика), '''p || q''' (програмирање) или '''p + q''' (електроника)) је:
'''Дисјункција''' је логичка операција над две логичке вредности, типично су то две вредности исказа који могу имати вредност ''тачно'' или ''нетачно'', а резултат операције је ''тачно'' ако је бар један исказ тачан.
 
=== Таблица истинитости ===
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:45%"
[[Таблица истинитости]] за <math>~A \or B</math>:
|+ '''Логичка дисјункција'''
 
|- style="background:paleturquoise"
!{| class="wikitable" style="widthmargin:15%" |0 p0 1em 1em;"
|- bgcolor="#ddeeff" align="center"
! style="width:15%" | q
|colspan=2|'''Улаз''' || '''Излаз'''
! style="width:15%" | p ∨ q
|- bgcolor="#ddeeff" align="center"
|-
| -{A}- || -{B}- || -{A}- ИЛИ -{B}-
|- bgcolor="#ddffdd" align="center"
|-
|0 || T0 || T0
|- bgcolor="#ddffdd" align="center"
|-
| T0 || 1 || T1
|- bgcolor="#ddffdd" align="center"
|-
| T1 || T0 || T1
|- bgcolor="#ddffdd" align="center"
| 1 || 1 || 1
|}
 
<br>
== Симбол ==
Математички сибол за локичку дисјункцију зависи од литературе. Поред речи ''или'', симбол ''<math>\or</math>'', који долази од латинске речи -{''vel''}- за ''или'', се обично користи за дисјункцију. На пример, ''-{A}- <math>\or</math> -{B}-'' се чита као ''-{A}- или -{B}-''. Таква дисјункција је нетачна ако су оба исказа, ''-{A}-'' и ''-{B}-'', нетачни. У свим другим случајевима је тачна.
 
Примери дисјункције:
: <math>A \or B</math>
: <math>\neg A \or B</math>
: <math>A \or \neg B \or \neg C \or D \or \neg E.</math>
 
[[Слика:Or-gate-en.svg|thumb|right|150px|ИЛИ [[логичка капија]]]]
 
{{клица-мат}}