Логическое сложение (дизъюнкция, логическое «ИЛИ») — это сложное логическое выражение, которое истинно, если хотя бы одно из простых логических выражений истинно, и ложно тогда и только тогда, когда оба простых логических выражения ложны. 1

От других логических операций логическое сложение отличается тем, что объединяет два или несколько высказываний в одно таким образом, что результат будет истинным тогда, когда истинно хотя бы одно входящее в него высказывание. 5

От логического умножения (конъюнкции, логическое «И») логическое сложение отличается тем, что результат будет истинным только тогда, когда истинны все входящие в него высказывания. 5