Дізъюнкція

Матеріал з Вікіпедії
Перейти до: навіґація, Найти

Лоґічна дізъюнкція (хоснує ся про ню сімбол ∨) є выроковый злучник, котрой значіня є правдов акурат тогды, кідь холем єден зо вступных операндів є правдов.

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

p q pq
0 0 0
0 1 1
1 0 1
1 1 1

Дізъюнкція веце выроків (ґруп выроків) є правдива точно тогды, як є правдивый холем єден з тых выроків. Дізъюнкція порожнёй множины выроків ся бере як неправдивый вырок.