В торой закон де Моргана, = `A ù`B говорит, что отрицание дизъюнкции равнозначно конъюнкции отрицаний этих высказываний. Доказательство 2-го закона де Моргана () может быть таким : Пусть x î , тогда из утверждения x î U (где U - универсальное множество) и x ï A ú B следует x ï A и x ï B x î`A и х î`B х î `A ù`B í `A ù`B ; Пусть x î `A ù`B , тогда х î`A и х î`B x î U и ï A и x ï B x ï А ú В, то естьx î `A ù`B í .В силу справедливости того и другого справедливо и доказываемое утверждение.