помощью которого записывают, вычисляют, упрощают и преобразовывают логические высказывания.
Логическое высказывание — это любое повествовательное предложение, в отношении которого можно однозначно сказать, истинно оно или ложно (обозначаемые, соответственно, "1" и "0" ).