A b c алгебра логика Решение логических задач с помощью таблиц истинности