ОСНОВЫ ЛОГИКИ(Алгебра логики или алгебра высказываний Логическое следование таблица истинности