Research ArticleOpen accessIn the keywordsThe Relationship between Exclusive-Or and the Unique Existential QuantifierM. A. Nabulsi, A. M. AbdallaProblem Statement: The efficiency of computer architecture design is affected by the components used. Establishing a relationship between exclusive-or (XOR) and the unique existential quantifier provides alternative system implementations. Approach: Applications of XOR and the unique existential quantifier were explained. Then, prepositional logic was used to establish the relationship between them. Results: Different quantified assertions with two variables that use … …Journal of Computer Science, Vol. 4, Issue 9 · 30 Sep 2008 · 7,471 accessesView PDFCite