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