Дизъюнкция (логическое сложение) соответствует неразделительному «или» в русском языке.
Определение.
Дизъюнкцией высказываний а и b называется высказывание, обозначаемое a 
b и определяемое следующей таблицей 
0 0 0
0 1 1
1 0 1
1 1 1
т.е. дизъюнкция ложна тогда и только тогда, когда ложны оба высказывания а и b.
Имеют место следующие свойства:
1. a b ≡ b a – коммутативность
2. a 1 ≡ 1/
3. a 0 ≡ a,
4. aa ≡ a – закон идемпотентности.
