В решении & и, || или, ~ не, -> импликация.

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