Именем английского логика XIX в. А. Де Моргана называются логические законы, связывающие с помощью отрицания высказывания, образованные с помощью союзов «и» и «или».
Один из этих законов можно выразить так:
отрицание высказывания «А и В» эквивалентно высказыванию «не-А или не-В».
Например: «Неверно, что завтра будет холодно и завтра будет дождливо, если и только если завтра не будет холодно или завтра не будет дождливо».
Другой закон:
неверно, что А и В, если и только если неверно А и неверно В. Например: «Неверно, что ученик знает арифметику или знает геометрию, если и только если он не знает ни арифметики, ни геометрии.
На основе этих законов, используя отрицание, связку «и» можно определить через «или», и наоборот:
«А и В» означает «неверно, что не-А или не-В»,
«А или В» означает «неверно, что не-А и не-В».
Например: «Идет дождь и идет снег» означает «Неверно, что нет дождя или нет снега»; «Сегодня холодно или сыро» означает «Неверно, что сегодня не холодно и не сыро».