Закон Де Моргана - это...

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