Как вы думаете, почему в алгебре логики нет операции вычитания ?

В Алгебре Логики нет АРИФМЕТИЧЕСКИХ операций. Там есть всего три логических операций: логическое сложение; логическое умножение и логическое отрицание. "Научные" термины слишком специфические. В принципе операция "вычитание" заменяется "сложением" как в алгебре с переворачиванием ЗНАКА (инверсия). По секрету скажу: ВСЯ цифровая техника давно не меняется технически принципиально; все узлы и устройства ничего нового не имеют вот уже полвека. Так что советую не сильно-то увлекайтесь алгеброй логики. Она ума не прибавит. Только отнимает время жизни. Так только чуть-чуть для представления вообще.