Results

**1 - 1**of**1**### Processing Boolean Equalities and Inequalities

, 2011

"... We are given a set of boolean variables, and a set of equalities of the form x ≡ y and inequalities of the form x ≡ y, over these variables. We call each equality and inequality a fact. A query is of the form x ≡ y?. Based on the given facts, an outcome of a query is “true ” (that is, x ≡ y), “fals ..."

Abstract
- Add to MetaCart

(Show Context)
We are given a set of boolean variables, and a set of equalities of the form x ≡ y and inequalities of the form x ≡ y, over these variables. We call each equality and inequality a fact. A query is of the form x ≡ y?. Based on the given facts, an outcome of a query is “true ” (that is, x ≡ y), “false ” (that is, x ≡ y), and