12849 викторин, 2171 кроссворд, 936 пазлов, 93 курса и многое другое...

Как называется математический аппарат, с помощью которого записывают, вычисляют, упрощают и преобразуют логические высказывания?