Implementing the Unique Existential Quantifier in Digital Logic Design

Nowadays, digital circuits are widely applied in different equipment such as computers, cell phones, digital watches, etc. As a result, new approaches to implement digital circuits are needed. Applying predicate logic is one way for achieving that. In particular, quantification (which is a commonly studied topic in predicate logic) can be used in the translation of a given logical statement which would assist in designing digital circuits. As a result, this paper proposes a new approach to implement the unique existential quantifier in digital circuits.