Справедливо ли равенство для k-значной логики?

[13xXx13]

X(отрицание) - Ny = Ny - (Nx)

вообщем насколько я понял нужно использовать эти формулы:
X(отрицание) = x + 1*(mod k);
Ny = (k - 1) - y;
Nx = (k - 1) - x;

потом подставляя эти значения в формулу, находил подобные, но после ряда сокращений у меня осталась такая формула:
1*(mod k) - k + 1 + y + y = 0.

я не нашел как раскрывать 1*(mod k) - что это?

а что дальше делать? подскажите пожалуйста. может что неправильно делаю.

P.S. само задание я в принципе и не знаю как понимать, но думаю если выполняется равенство 0 = 0 или там y = y после ряда сокращений, то равенство справедливо.