Дізъюнкція

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

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

 p  q  p ∨ q 0  0  0 0  1  1 1  0  1 1  1  1

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

Катеґорія:Математічна лоґіка