Logicheskiĭ i︠a︡zyk dli︠a︡ predstavlenii︠a︡ algoritmov sinteza releĭnykh ustroĭstv