Дано логическое выражение. Для данного логического выражения построить таблицу истинности и определить тип логического выражения

А) AB+C→AB↔C
Таблица истинности для данного логического выражения:
A B C AB AB+C AB+C→AB
AB+C→AB↔C
AB+C→AB↔C
0 0 0 0 0 1 0 1
0 0 1 0 1 0 0 1
0 1 0 0 0 1 0 1
0 1 1 0 1 0 0 1
1 0 0 0 0 1 0 1
1 0 1 0 1 0 0 1
1 1 0 1 1 1 0 1
1 1 1 1 1 1 1 0
Так как при всех возможных сочетаниях значений переменных, входящих в данное логическое выражение, значение логического выражения равно 1 или 0, то это означает, что данное логическое выражение является нейтральным.
b) (A+B)BC→AB
Применю для скобки формулу Де Моргана: (A˄B)BC→AB
Сформирую скобки в соответствии с сочетательным законом:
(A˄A)˄(B˄B) →AB
Теперь преобразую импликацию: (A˄A)˄(B˄B)˅AB
Так как (A˄A)=A˄A=1, (B˄B)=B˄B=1, то получается: 1 ˅AB = 1
Так как при всех возможных сочетаниях значений переменных, входящих в данное логическое выражение, значение логического выражения равно, то это означает, что данное логическое выражение является тождественно истинным.