Дискретная математика .Проверить равносильность формул x↔ y & z и разборчивым решением

Пример №1
42526:22*16-44+265*37=40689

1) _42526⊥22
      22      1933
   _ 205
     198
      _72
        66
        _66
          66
           0
2) *1933
        16
   +11598
     1933
      30928

3) *265
       37
   +1855
     795
     9805

4) _30928
           44
      30884

5)+30884
      9805
     40689


Пример № 2

33132:11+14530-12303:9=16175

1)_33132⊥11
     33        3012
      _13
        11
         _22
           22
            0   
2) _12303⊥9
        9       1367
      _33
        27
        _60
          54
          _63
            63
           0
3) +3012
     14530
      17542

4) _17542
       1367
       16175

Мы имеем пять пор, берем одну - 1 месяц нечетный - 15+1=16 дней в этом месяце. 2 месяц - 15 дней ( он четный ), 3 месяц - 15+3=18 дней. Итого: в первой поре: 16+15+18=49 дней. Берем вторую пору - 1 месяц в ней - это четвертый на самом деле - значит 15 дней. Дальше 5 месяц - 15+5=20 дней. 6 месяц - 15 дней. Итого -  вторая пора имеет: 15+20+15=50 дней. Берем 3 пору - 7 месяц - 15+7=22 дня,
8 месяц - 15 дней. 9 месяц - 15+9=24 дня. Итого-3 пора имеет: 22+15+24=61 день в 3 поре. Берем 4 пору: 10 месяц - 15 дней, 11 месяц - 15+11=26 дней. 12 месяц - 15 дней. Итого-4 пора имеет: 15+26+15=56 дней. Берем 5 пору: 13 месяц: 15+13=28 дней. 14 месяц: 15 дней. 15 месяц: 15+15=30 дней Итого-5 пора имеет: 28+15+30=73 дня. Всего: 49+50+61+56+73=289 дней и 15 месяцев