Алгебра логики и высказывания: Основы и примеры