Чем отличаются линейные уравнения от нелинейных уравнений в логике предикатов?

Возможно, имелись в виду линейные и нелинейные функции в контексте логики. 13

Линейная функция — это функция, многочлен Жегалкина которой имеет вид a0 ≈ a1x2 ≈…≈ anxn. 1 Нелинейная функция — в противном случае, то есть если многочлен Жегалкина содержит конъюнкции переменных. 1

Например, функции 1 x, y — линейные, а 1 x z, x y x y z — нелинейные. 3