文章基本信息

标题：The Relationship between Exclusive-Or and the Unique Existential Quantifier
本地全文：下载
作者：Nabulsi, M. A. ; Abdalla, A. M.
期刊名称：Journal of Computer Science
印刷版ISSN：1549-3636
出版年度：2008
卷号：4
期号：9
页码：741-743
DOI：10.3844/jcssp.2008.741.743
出版社：Science Publications
摘要：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
关键词：Exclusive-or; multiplexer; decoder; unique existential quantifier; universal quantifier