¬(xy→z) → (x→y) = (xy→z) v (x→y) = (¬(xy) v z) v (¬x v y) = ¬x v ¬y v z v ¬x v y = 1
3456= 3000+400+50+6
28961= 20000+8000+900+60+1
350620= 300000+50000+600+20
7308402= 7000000+300000+8000+400+2