Формулы алгебры высказываний Алгоритм составления таблицы истинности