Приведите формулу ¬((y⇒¬x)⇔y) к к. н.ф. или д. н.ф методом равносильных преобразований.

Получили КНФ:

35*2=70 км на автобусе

35*2=70 км/ч скорость поезда

70*5=350 км на поезде

70-65=5 км/ч скорость пешком

5*3=15 км пешком

70+350+15=435 км всего

х шт российских марок

30 % = 0,3х иностранных марок

х+0,3х=1105

1,3х=1105

1,3х=1105

х=1105: 1,3

х=850 российских марок

850*0,3=255 иностранных марок