Створіть новий файл Python та нове вікно із заголовком "Магазин морозива". Створіть дві групи gеремикачів. Над першою групою створіть напис "Оберіть тип морозива". В першій групі буде три перемикачі із типами морозива: ванільне, шоколадне, фруктове. Над другою групою створіть напис "Оберіть розмір ріжку". В цій групі буде також три перемикачі із розмірами ріжку: маленький, середній та великий. В залежності від вибору користувача на екран буде виводитися відповідне вікно з повідомленням. Наприклад, якщо користувач вибере фруктове морозиво у маленькому ріжку, то на екран виведеться вікно з повідомленням "Ви вибрали фруктове морозиво у маленькому ріжку".

Дизъюнктивная нормальная форма (ДНФ)
Простой конъюнкцией или конъюнктом называется конъюнкция некоторого конечного набора переменных или их отрицаний, причём каждая переменная встречается не более одного раза. Дизъюнктивной нормальной формой или ДНФ называется дизъюнкция простых конъюнкций.
Конъюнктивная нормальная форма (КНФ)
Конъюнктивная нормальная форма1 (КНФ) определяется двойственно к ДНФ. Простой дизъюнкцией или дизъюнктом называется дизъюнкция одной или нескольких переменных или их отрицаний, причём каждая переменная входит в неё не более одного раза. КНФ — это конъюнкция простых дизъюнкций.

Это знаки для обозначения логических операций:
a) отрицание
(инверсия, логическое НЕ) обозначается ¬ (например, ¬А);

b) конъюкция
логическое умножение, логическое И) обозначается /\
(например, А /\ В) либо & (например, А & В);

c) дизъюнкция
(логическое сложение, логическое ИЛИ) обозначается \/
(например, А \/ В);

вдруг пригодится, есть еще такие знаки:

d) следование
(импликация) обозначается → (например, А → В);

e) тождество
обозначается ≡ (например, A ≡ B). Выражение A ≡ B истинно тогда и только тогда, когда значения A и B совпадают (либо они оба истинны, либо они оба ложны);

f) символ 1 используется для обозначения истины (истинного высказывания); символ 0 – для обозначения лжи (ложного высказывания).