Фамилия ученого сформулировавшего законы алгебры логики – сердцевины компьютерных наук? (Введите с большой буквы)