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

• истинно хотя бы одно из входящих в него простых высказываний
• истинны все входящие в него простые высказывания
• ложны все входящие в него простые высказывания