Аномальное поведение логических схем и проблема арбитража

Рассматривается задача построения асинхронного арбитра, реализующего механизм предоставления общего ресурса. Доказывается неизбежность возникновения аномалий в двоичных логических схемах, реализующих арбитр, и показывается, что применение недвоичных логических элементов, описание которых может быть дано в рамках булево-троичной логики, позволяет строить работоспособные арбитры.