Логическое сложение (дизъюнкция)

На формальном языке алгебры логики обозначается значком «+» либо « ».

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

Пример.

Составное высказывание: «Есть карандаш или ручка, напишу письмо»

Составим таблицу истинности (Таблица 10), где простые высказывания A – карандаш, B – ручка и составное высказывание F – письмо.

Таблица 10

По таблице истинности легко определить в каком случае можно будет написать письмо, когда есть либо карандаш, либо ручка.