Машина Тьюринга. Реализация функции (A+(B≡C)), как сделать?

Question

[Sacerdos]

На вход подается A*B*C, в двоичном виде, не обязательно одинаковой длины. Если аргумент A, B или C
отсутствует, он считается равным нулю. В результате выполнения должен остаться только результат функции.

Сумму на Тьюринге я понял, но вот как реализовать эквивалентность, особенно учитывая то, что рядом находится "временно не нужный" элемент.
Заранее спасибо