logo
Тема 1

1.Основные равносильности

  2. Докажем один из законов поглощения. Рассмотрим формулу А = х˄ (у ˅ х). Если в этой формуле х= 1 то, очевидно, у ˅ х = 1 и тогда х˄(у ˅ х)= 1 как конъюнк­ция двух истинных высказываний. Пусть теперь в фор­муле А х = 0. Но тогда по определению операции конъ­юнкции будет ложной и конъюнкция х& (у v х). Итак, во всех случаях значения формулы А совпадают со зна­чениями х, а поэтому А = х.