Тренинг 2

Дайте название закону логики (Внимательно! Переменные переопределены и использована разная символика для обозначения операций)
C+B=B+C Коммутативный закон
Х+(У+Z)=(Х+У)+Z Ассоциативный закон
Х·(У+Z)=Х·У+Х·Z Дистрибутивный закон
С+(¬C)=1 Закон исключенного третьего
Х Λ X = X Закон идемпотентности
Х+(Х·Z)=Х Закон поглощения

Дайте название закону логики (Внимательно! Переменные переопределены и использована разная символика для обозначения операций)
(Х·У)·Z=Х·(У·Z) Сочетательный закон
ХΛ(УVZ)=(ХΛУ)V(ХΛZ) Распределительный закон
Х Λ 1 = X Закон действия с константами
ВΛ(ВVА)=В Закон поглощения
CΛB=BΛC Переместительный закон
ХΛ(¬Х)=0 Закон противоречия

Примените законы логики для упрощения высказываний.
Х·Х=X
BV(BΛC)=B
Х V 1 =1
CΛ(ВVC)=C
CΛ0=0
BV(¬B)=1

Вставьте пропущенные логические переменные или их значения так, что бы цепочка преобразований стала верной (Внимание! При вводе букв использовать английский алфавит ).

  1. А Λ B Λ Ā = А Λ Ā Λ B =0Λ B =0
  2. Ā V B Λ А = Ā V (B Λ А) = (Ā V B) Λ (Ā VA) =(Ā V B) Λ 1=Ā V B
  3. Ā Λ B V Ā = (Ā Λ B) V Ā = Ā V(Ā Λ B)= Ā
  4. Ā V B V А = Ā V А V B= (Ā V А) V B=1 V B=1

Вставьте пропущенные логические переменные или их значения так, что бы цепочка преобразований стала верной (Внимание! При вводе букв использовать английский алфавит ).

  1. x + x · y = x
  2. ¬y · x · y = ¬y · y · x = (¬y · y)· x = · x = 0
  3. a · ( b + (¬ a)) = a · b + a·(¬a)= a · b + 0 = a · b