III. Изучение нового материала.

Упражнение 5. Докажите:

А)

X	Y	XÙY

 

Б)

X	Y	XÚY

Равносильности и называют законами де Моргана

Смысл законов де Моргана (Август де Морган (1806-1871) - шотландский математик и логик) можно выразить в кратких словесных формулировках:

- отрицание логического произведения эквивалентно

логической сумме отрицаний множителей.

- отрицание логической суммы эквивалентно

логическому произведению отрицаний слагаемых.

ТЕМА «ЗАКОНЫ ЛОГИКИ. УПРОЩЕНИЕ ФОРМУЛ»