Research Article Open Access

The Relationship between Exclusive-Or and the Unique Existential Quantifier

M. A. Nabulsi and A. M. Abdalla

Abstract

Problem 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 the unique existential quantifier were represented without quantifiers by using XOR. Conclusions: The unique existential quantifier and XOR were helpful in some computer architecture systems such as multiplexers, decoders and bus systems. The unique existential quantifier and XOR may be used interchangeably in some situations, but not always.

Journal of Computer Science
Volume 4 No. 9, 2008, 741-743

DOI: https://doi.org/10.3844/jcssp.2008.741.743

Submitted On: 20 November 2008 Published On: 30 September 2008

How to Cite: Nabulsi, M. A. & Abdalla, A. M. (2008). The Relationship between Exclusive-Or and the Unique Existential Quantifier. Journal of Computer Science, 4(9), 741-743. https://doi.org/10.3844/jcssp.2008.741.743

  • 2,307 Views
  • 2,478 Downloads
  • 1 Citations

Download

Keywords

  • Exclusive-or
  • multiplexer
  • decoder
  • unique existential quantifier
  • universal quantifier