Search | Science Publications

Articles where this person is an author, newest first. People are matched by their name as printed (no ORCID iD is recorded for them), not by name alone; search the name as text to find namesakes too.

Research ArticleOpen accessThe 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,475 accessesView PDF Cite