Логическая функция F задается выражением ((¬y→w) → (x→z)) → (x→w)

Var
День,Месяц:byte;
Begin
Write('№ дня = ');ReadLn(День);
Var C:=365-День;
Write('№ месяца = ');ReadLn(Месяц);
Case Месяц of
2:C:=C-31;
3:C:=C-59;
4:C:=C-90;
5:C:=C-120;
6:C:=C-151;
7:C:=C-181;
8:C:=C-212;
9:C:=C-243;
10:C:=C-273;
11:C:=C-304;
12:C:=C-334
End;
if (C mod 100>10)and(C mod 100<20) then Write('До нового года осталось ',C,' дней')
else
Case C mod 10 of
1:Write('До нового года остался ',C,' день');
2..4:Write('До нового года осталось ',C,' дня');
0,5..9:Write('До нового года осталось ',C,' дней')
End
End.

Python

a = True

b = int(input())

while (a):

   if b == 1:

       print("Понедельник")

       a = False

   elif b == 2:

       print("Вторник")

       a = False

   elif b == 3:

       print("Среда")

       a = False

   elif b == 4:

       print("Четверг")

       a = False

   elif b == 5:

       print("Пятница")

       a = False

   elif b == 6:

       print("Суббота")

       a = False

   elif b == 7:

       print("Воскресенье")

       a = False

   else:

       print("Такого дня недели нет")

       b = int(input())

Осуществляется ввод, если b > не 1 - 7, то программа запрашивает число до тех пор, пока пользователь не введет нужное число.