Основы логики Алгебра высказываний Алгебра высказываний была Алгебра высказывания логические операции таблицы истинности