Skip to main content
Journal of the Egyptian Mathematical Society

Table 1 Mappings of the most common binary Boolean operators

From: A novel SAT solver for the Van der Waerden numbers

Operator

Symbol used

Mapping

Or

∨

{00↦0;01,10,11↦1}

And

∧

{00,01,10↦0;11↦1}

Xor

⊕

{00,11↦0;01,10↦1}

Implies

→

{10↦0;00,01,11↦1}

Equivalent

⇔

{01,10↦0;00,11↦1}

Back to article page