Предикат "двоичные слова x и y имеют одинаковую длину":
(Отметьте один правильный вариант ответа.)
Варианты ответа
арифметический или нет, в зависимости от значений длины
арифметический(Верный ответ)
не арифметический