Какой будет двойственная формула для формулы:
((а → b) v (c & a)) ~ (b → a)?

Конструкция

Червяк представляет собой винт со специальной резьбой, в случае эвольвентного профиля колеса форма профиля резьбы близка к трапецеидальной. На практике  применяются однозаходные, двухзаходные и четырёхзаходные червяки.

Червячное колесо представляет собой зубчатое колесо. В технологических целях червячное колесо, как правило[2], изготовляют составленным из двух материалов: венец — из дорогого антифрикционного материала (например, из бронзы), а сердечник — из более дешёвых и прочных сталей или чугунов.

Входной и выходной валы передачи скрещиваются, обычно (но не всегда) под прямым углом.

Ультразвуковой датчик-это специальный инструмент, используемый для измерений в промышленной автоматизации. С его можно измерять расстояние, высоту и уровень, а также определять положение в пространстве, обнаруживать наличие объектов и даже подсчитывать их по отдельности.
Ультразвуковые датчики содержат ультразвуковые преобразователи . Преобразователь может преобразовывать одну форму энергии в другую. Датчик является причиной, по которой датчик может излучать звуковой импульс. Затем создается эхо, когда излучаемый импульс отражается от объекта.