Построить таблицу истинности, упростить логическое выражение и построить логическую схему следующего вида

Объяснение:

A       B   С      B∧A       A→B∧A     A→B∧A→C          A→B∧A→C→C

0     0      0       0               1            0                                     1

0     0      1        0               1            1                                      1

0     1       0       0               1            0                                     1

0     1       1        0               1            1                                      1

1     0       0       0               0           1                                     0

1     0       1        0               0           1                                     1

1     1        0       1                1            0                                    1

1     1        1        1                 1           1                                     1

Упрощение:

(A→B∧A→C)→C = ((¬A∨B)→C)→C = (C∨A¬B)→C=¬ A∨C∨ B