Краткое пояснение: Заполняем таблицу истинности для логического выражения (A∧C)∨¬(B→¬C), рассчитывая значения для каждой комбинации входных переменных A, B и C.
A
B
C
A∧C
¬C
B→¬C
¬(B→¬C)
(A∧C)∨¬(B→¬C)
0
0
0
0
1
1
0
0
0
0
1
0
0
1
0
0
0
1
0
0
1
1
0
0
0
1
1
0
0
0
1
1
1
0
0
0
1
1
0
0
1
0
1
1
0
1
0
1
1
1
0
0
1
1
0
0
1
1
1
1
0
0
1
1
Ответ: Заполнена таблица истинности для выражения (A∧C)∨¬(B→¬C)