Постройте таблицу истинности

Думаю, вначале нужно эти выражения упростить, чтобы не делать лишних вычислений.
Убираем эквивалентности по следующей формуле:

A → B ≡ ¬A + B

Первое выражение:

a) (A → B) + (¬A → ¬B) ≡ ¬A + B + A + ¬B ≡ 1

Таблица истинности для этого выражения - тождественная единица:

A B (а)
0 0 1
0 1 1
1 0 1
1 1 1

Второе выражение:

б) (¬A → B) ∙ (A → ¬B) ≡ (A + B) ∙ (¬A + ¬B) ≡ (A ∙ ¬B) + (¬A ∙ B) ≡ A ⊕ B

Таблица истинности для исключающего "или" ("XOR"):

A B (б)
0 0 0
0 1 1
1 0 1
1 1 0

Третье выражение:

в) (A ∙ B) → (¬A ∙ ¬B) ≡ ¬(A ∙ B) + (¬A ∙ ¬B) ≡ ¬A + ¬B + (¬A ∙ ¬B) ≡ ¬A + ¬B ≡ ¬(A ∙ B)

Это - отрицание конъюнкции ("NAND", "не-и").

A B (в)
0 0 1
0 1 1
1 0 1
1 1 0

Четвёртое выражение:

(A + ¬B) → (A ∙ B) ≡ ¬(A + ¬B) + (A ∙ B) ≡ (¬A ∙ B) + (A ∙ B) ≡ (¬A + A) ∙ B ≡ B

Выражения тождественно B. Его таблица истинности:

A B (г)
0 0 0
0 1 1
1 0 0
1 1 1

Пятое выражение:

(A → ¬B) ∙ (A + C) ∙ (¬A → C) ≡ (¬A + ¬B) ∙ (A + C) ∙ (A + C) ≡ (¬A + ¬B) ∙ (A + C) ≡ (A ∙ ¬B) + (¬A ∙ B) + (¬B ∙ C) ≡ (A ⊕ B) + (¬B ∙ C)

Таблица истинности (значения аргументов отделены двоеточиями от значений промежуточных выражений и от значения функции для читабельности):

A B C (A ⊕ B) (¬B ∙ C) (д)
0 0 0 : 0 0 : 0
0 0 1 : 0 1 : 1
0 1 0 : 1 0 : 1
0 1 1 : 1 0 : 1
1 0 0 : 1 0 : 1
1 0 1 : 1 1 : 1
1 1 0 : 0 0 : 0
1 1 1 : 0 0 : 0