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