Исклучителна дисјункција: Разлика помеѓу преработките

[непроверена преработка][непроверена преработка]
Избришана содржина Додадена содржина
с Бот: козметички промени
сНема опис на уредувањето
Ред 1:
[[Податотека:Venn0110.svg|thumb|[[Венов дијаграм]] за A xor B]]
'''Исклучителната дисјункција''', исто така позната како '''исклучително или''' и симболизирана со кратенката '''ИЛЛИЕКСИЛИ''' ('''XOR'''), е [[логичка операција]] на два операнда која резултира со [[логичка вредност]] на ''точно'' ако и само ако еден од опрандите, но не и двата, имаат [[вистинитосна вредност|вредност]] ''точно''.
 
[[Податотека:XOR.jpg|thumb|right|150px|[[Логичка порта]] ИЛЛИЕКСИЛИ]]
 
== Дефиниција ==
Ред 10:
'''Исклучителната дисјункција''' е [[логичка операција|операција]] на две [[логичка вредност|логички вредности]], [[исказ]]и, кои даваат вредонст ''вистина'' (точно) ако и само ако еден, но не и двата операнда се вистинити.
 
[[Таблица на вистинитост|Таблицата на вистинитост]] за '''p ИЛЛИЕКСИЛИ q''' е следнава:
 
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f9f9f9; font-weight:bold; text-align:center; width:45%"
Ред 17:
! style="width:15%" | p
! style="width:15%" | q
! style="width:15%" | p ИЛЛИЕКСИЛИ q
|-
| ⊥ || ⊥ || ⊥
Ред 39:
 
== Алтернативни знаци ==
Знакот за исклучителна дисјункција варира во зависност на неговата употреба, па дури и зависи од својствата кои се нагласуваат во даден котекст или дискусија. Покрај кратенката „ИЛЛИ“„ЕКСИЛИ“, можеме да ги видиме и следниве знаци:
* Знак плус (+). Ова е математички издржано заради тоа што исклучителната дисјункција соодветствува на [[собирање]] [[модуларна аритметика|модул]] 2, која ја има следнава таблица на собирање, која е воочливо [[изоморфизам|изоморфична]] со онаа погоре:
 
Ред 77:
\end{matrix}</math>
 
Оваа представа на ИЛЛИЕКСИЛИ може да биде корисна за правење на коло или мрежа, бидејќи има само една ¬ операција и мал број на ∧ и ∨ операции. Доказот на овој идентитет е даден подолу:
 
: <math>\begin{matrix}
Ред 87:
\end{matrix}</math>
 
Понекогаш тоа се користи за пишување на ''p'' ИЛЛИЕКСИЛИ ''q'' на следниов начин:
 
: <math>\begin{matrix}
Ред 97:
== Асоцијативност и комутативност ==
 
Со оглед на [[изоморфизам|изоморфизмот]] момеѓу собирањето модула 2 и исклучителната дисјункција, јасно е дека ИЛЛИЕКСИЛИ е и [[асоцијативност|асоцијативна]] и [[комутативност|комутативна]] операција. Затоа заградите можат да се испуштат во последователните операции и редот на поимите не му прави никаква разлика на резултатот. На пример, еве равенки:
 
 
Ред 143:
Исклучителните дисјункции често се користат кај битовите операции. Примери:
 
* 1 иллиексили 1 = 0
* 1 иллиексили 0 = 1
* 1110 иллиексили 1001 = 0111 (ова е исто што и собирање без [[пренос (аритметика|пренос]])