Вікіпедія:Статя тыждня/2011/25
Лоґічна дізъюнкція (хоснує ся про ню сімбол ∨) є вырокова спойка, котрой годнота є правда точно тогды, кідь холем єден зо вступных операндів є правда.
Два вырокы споєны дізъюнкціов творять вырок (называный і дізъюнкціов тых двох выроків), котрый є правдивый точно тогды, як є правдивый холем єден зо споёваных выроків. У говоровім языку ся переважно выядрує спойков або.
| p | q | p ∨ q |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |
Дізъюнкція веце выроків (ґруп выроків) є правдива точно тогды, як є правдивый холем єден з тых выроків. Дізъюнкція порожнёй множины выроків ся поважує за неправдивый вырок.