В решении & и, || или, ~ не, -> импликация.
1. Похоже на правду.
2.
1) ну да.
2) Нам нужно то, что в треугольнике и не в прямоугольнике. C & ~A.
3) Опять тоже самое. C& ~A
3.
1) Распишем импликацию: A -> B = ~A || B
(~(A || ~B) || B) & (~A || B) = ((~A & B) || B) & (~A || B) = (~A & B) & (~A & B) = ~A & B
2)
~(A & B) -> (~A & B) = (A & B) || (~A & B) = B
(A -> B) & B || ~B = (~A || B) & B || B = B || B = B
Итого ответ A & B
3)
~(A & B) -> (~A & B) = (A & B) || (~A & B) = 0
(A -> B) & 0 = 0