Об алгебраических свойствах исчисления высказыванийтезисы доклада