как перевести это уравнение : 0,1x+0,1y=4
В это: x+y=40

А если у меня такое уравнение :0,1x+0,5y=4

Аналогично. Домножаешь все на 10. х+5у=40

((x3 ≡ x4) \/ (x5 ≡ x6)) /\ (¬(x3 ≡ x4) \/ ¬(x5 ≡ x6)) =1 ... ((x7 ≡ x8) \/ (x9 ≡ x10)) /\ (¬(x7 ≡ x8) \/ ¬(x9 ≡ x10)) =1

0,1x+0,1y=4 Домножаем обе части уравнения на 10:0,1*10*x+0,1*10*y=4*10x+y=40