Убедитесь что следующие шесть функций тождественны

Пусть нужно обнулить какой-либо бит в переменной типа byte (например, бит 3). Определим сначала число, содержащее единицы во всех битах, кроме третьего. Максимальное число, которое можно записать в тип byte, равняется 255. Чтобы в нем обнулить третий бит, вычтем из этого числа третью степень числа 2 (255-8=247). Если это число логически умножить на a, то его единицы никак не скажутся на состоянии переменной a, а нуль в третьем бите независимо от значения третьего бита переменной a даст в результате 0. Итак, имеем a:= a and (255-8). Аналогично можно обнулить несколько битов.

 (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