Аннотация:Предложена процедура построения всех решений произвольной системы функциональных уравнений счетнозначной логики. На основе этой процедуры для систем уравнений, содержащих только тернарный дискриминатор p, указаны решения, принадлежащие классу Sigma_2 арифметической иерархии Клини-Мостовского. Доказано, что для данных систем уравнений компоненты решения могут быть произвольными функциями из класса Sigma_1^1 аналитической иерархии Клини.