Краткое содержание (выдержка) конспекта для урока: Даны методы решения математических логических задач.