Алгебра логики - Укажите один или несколько правильных вариантов ответа:
наука о законах и формах мышления
раздел информатики, позволяющий определять истинность или ложность высказываний, не вникая в их содержание
определяет правила записи, упрощения и преобразования высказываний и вычисления их значений
наука об общих операциях, аналогичных сложению и умножению, которые могут выполняться над разнообразными математическими объектами

 (A∧¬B)импликация(C∨D)
А  В  С  Д ¬В  A∧¬B   C∨D   (A∧¬B)импликация(C∨D)
0  0  0  0  1      0          0          1
0  0  0  1  1      0          1           1
0  0  1  0  1      0          1          1
0  0  1  1  1      0          1          1
0  1  0  0  0      0           0        1
0  1  0  1  0      0          1          1
0  1  1  0  0      0          1          1
0  1  1  1  0      0          1          1
1  0  0  0  1      1          0          0
1  0  0  1  1      1          1          1
1  0  1  0  1      1          1          1
1  0  1  1  1      1          1          1
1  1  0  0  0      0          0          1
1  1  0  1  0      0          1          1
1  1  1  0  0      0          1          1
1  1  1  1  0      0          1          1

((А импликация B)∧¬B)импликация ¬A

А  В  А импликация B  не В  ((А импликация B)∧¬B)  ¬A  конец
0   0      1                      1              1                            1        1
0  1        1                    0               0                            1         1
1   0       0                    1               0                            0         1
1   1       1                    0               0                            0         1

 (A∧¬B)импликация(C∨D)
А  В  С  Д ¬В  A∧¬B   C∨D   (A∧¬B)импликация(C∨D)
0  0  0  0  1      0          0          1
0  0  0  1  1      0          1           1
0  0  1  0  1      0          1          1
0  0  1  1  1      0          1          1
0  1  0  0  0      0           0        1
0  1  0  1  0      0          1          1
0  1  1  0  0      0          1          1
0  1  1  1  0      0          1          1
1  0  0  0  1      1          0          0
1  0  0  1  1      1          1          1
1  0  1  0  1      1          1          1
1  0  1  1  1      1          1          1
1  1  0  0  0      0          0          1
1  1  0  1  0      0          1          1
1  1  1  0  0      0          1          1
1  1  1  1  0      0          1          1

((А импликация B)∧¬B)импликация ¬A

А  В  А импликация B  не В  ((А импликация B)∧¬B)  ¬A  конец
0   0      1                      1              1                            1        1
0  1        1                    0               0                            1         1
1   0       0                    1               0                            0         1
1   1       1                    0               0                            0         1