Disjunction

имя существительное 1) разделение; разобщение; разъединение Синоним(ы): separation, disunion, disconnection, dissociation Антоним(ы): conjunction 2) [технический термин] разъединение, размыкание (цепи) 3) [информатика и компьютерные технологии, математика] дизъюнкция, логическое сложение, операция ИЛИ Например: disjunction sign — знак дизъюнкции disjunction operation — операция дизъюнкции, операция логического сложения term of disjunction — член дизъюнкции conditioned disjunction — условная дизъюнкция exclusive disjunction — разделительная дизъюнкция; операция, исключающая ИЛИ inclusive disjunction — неразделительная дизъюнкция; операция, включающая ИЛИ

Большой англо-русский словарь

Disjunction

дизъюнкция, логическое сложение двуместная логическая операция Смотри также: OR Например: This kind of compound goal is known as a disjunction — этот вид составной цели известен как дизъюнкция

Англо-русский словарь компьютерных терминов

Disjunction

1) дизъюнктность 2) дизъюнкция 3) разделение 4) расщепление

Англо-русский научно-технический словарь

Disjunction

1) разъединение, расчленение 2) размыкание (цепи) 3) дизъюнкция, логическое сложение, операция ИЛИ

Англо-русский политехнический словарь

Disjunction

noun 1. a sharp cleavage; disunion, separation Example: the disjunction between theory and practice 2. a compound sentence in logic formed by joining two simple statements by or: a. inclusive disjunction b. exclusive disjunction

Merriam-Webster's Collegiate Dictionary