а | в | а Ú в |
и | и | и |
и | л | и |
л | и | и |
л | л | л |
Слабая дизъюнкция истинна тогда, когда по крайней мере одна из альтернатив истинна.
Закон строгой дизъюнкции
а | в | а Ú* в |
и | и | л |
и | л | и |
л | и | и |
л | л | л |
Строгая дизъюнкция истинна тогда, когда одна альтернатива истинна, а другая ложна.
Закон импликации
а | В | а ® в |
и | и | и |
и | л | л |
л | и | и |
л | л | и |
Импликация истинна во все случаях кроме одного, когда основание истинно, а следствие ложно.