Отрицание дизъюнкции равнозначно конъюнкции двух отрицаний.
Например, «Неверно, что идет дождь или идет снег» означает «Сегодня нет дождя и нет снега».
9) Закон контрапозиции
(A É В) É (ØВ É ØА)
Если из одного высказывания вытекает второе, то из отрицания второго вытекает отрицание первого. Например, «Если вода замерзла, то на улице – морозно» и «Если на улице не морозно, то и вода не замерзла».
10) Закон транзитивности импликации
((AÉВ) & (ВÉС)) É (АÉС)
Если из одного высказывания вытекает второе, а из него – третье, то и из первого высказывания вытекает третье. Например, «С наступлением весны днем становится солнечнее и теплей. Когда днем становится солнечнее и теплей тает снег. Следовательно, можно сказать, что с наступлением весны тает снег».
11) Законы дистрибутивности дизъюнкции относительно конъюнкции и наоборот
А Ú (В & С) É (А Ú В) & (А Ú c)
А & (В Ú С) É (А & В) Ú (А & c)
Они позволяют пронести дизъюнкцию внутрь конъюнктивной формулы, а конъюнкцию – внутрь дизъюнктивной формулы, т.е. одну логическую связь относительно другой. Например, распределениедизъюнкции относительно конъюнкции: «Завтра тепло или послезавтра будет холодно и дождь, тогда и только тогда, когда завтра будет тепло или послезавтра будет холодно и завтра будет тепло или послезавтра будет дождь». При распределении конъюнкции относительно дизъюнкции: «Сегодня идет дождь и завтра тепло и послезавтра тепло в том и только в том случае, когда сегодня идет дождь и завтра тепло или сегодня идет дождь и послезавтра тепло».