Всем привет,нужна ваша по логической алгебре. 1.Решить уравнение

x (над этим иксом черта)⇒ (x ⇒ y) = x ∨ y(над этим y черта)

2.Без построения таблиц истинности докажите, что следующие формулы

являются тавтологиями

(x ⇒ z)⇒ ((y ⇒ z)⇒ ((x ∨ y)⇒ z))

3 Без построения таблиц истинности докажите, что следующие формулы

являются противоречием

x ⇒ (y ⇒ z)xyz( над z черта сверху)

4.Упростить
((x + y)⇒ (x ∨ y))((x ∨ y)⇒ (x + y))
всем за .

Vasilyeva5    2   17.05.2021 17:17    0