Что такое алгебрологика какими свойствами он обладает
Область информатики. Определяет истинность составных высказываний