ИНФОРМАТИКА

Так же, как и привычной нам алгебре есть алгебраические операции, которые позволяют нам оперировать с числами и переменными, в АЛГЕБРЕ ЛОГИКИ есть свои операции, которые позволяют оперировать ЛОГИЧЕСКИМИ ПЕРЕМЕННЫМИ (высказываниями).