from random import *

lines = [
    "1  Множество и его подмножества",
    "1.1 Алгебра подмножеств",
    "1.2 Свойства действий в алгебре Д.Буля",
    "1.3 Определение общей булевой алгебры",
    "1.4 Алгебра высказываний",
    "2. Булевы вектора",
    "3.Булева алгебра булевых векторов",
    "4. Характеристические векторы подмножеств",
    "5.Булевы функции, способы задания",
    "6. Булевы функции двух переменных. Основные и элементарные",
    "7.ДНФ",
    "8.Методы приведения булевых функций к СДНФ",
    "9.Минимизация ДНФ",
    "10.Максимальные интервалы и сокращенная ДНФ",
    "11.Метод Карно",
    "12.Двойственные функции",
    "13.СКНФ",
    "14.Функциональная полнота системы функций",
    "15.Обзор важнейших полных классов",
    "16.Алгебра Жигалкина",
    "17. Обзор важнейших замкнутых классов",
    "18.Самодвойственные функции",
    "19.Монотонные функции",
    "20.Функции, сохраняющие константу",
    "21.Теорема Поста"
]
lines2=[
    "22.Лемма о несамодвойственной функции",
    "23. Лемма о немонотонной функции",
    "24. Лемма о нелинейной функции",
    "25. Виды графов. Матрицы инцидентности и смежности",
    "26. Неорграфы. Маршруты, циклы и связность",
    "27. Деревья. Цепи. Грани. Каркасы. Пути . Контуры",
    "28. Цикломатическое число графа. Планарность. Теорема Понтрягин",
    "29. Контактные схемы. Оценка Шеннона максимальной сложности КС",
    "30. Операции над графам",
    "31.Теорема о максимальном числе функций в базисе алгебры логик",
    "32.Теорма о предполных класса",
    "33. к-значные функции. Их вид",
    "34.Аналог теоремы Поста для К-значных логик",
    "35.Особенности к-значных логик в сравнении с булевыми логиками",
    "36.Счетные и несчетные множества. Кардинальные числ",
    "37.  Эквивалентность множеств. Теорема Кантора-Бернштейн",
    "38. Области определения, значения отображения. Обратное отображение. ",
    "39. Сечение бинарного отношения. Фактор-множество по отношению",
    "40. Дифференцирование булевой функции",
    "41. Интегрирование булевой функции",
    "42. Метрические характеристики графов",
    "43. Сумматор двоичных чисел",
    "44. Схемы из функциональных эдементов",
]

i1 = randint(0, len(lines)-1)
i2 = randint(0, len(lines2)-1)
print(lines[i1],"\n", lines2[i2])