Skip to main content

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

{000;01,10,111}

And

{00,01,100;111}

Xor

{00,110;01,101}

Implies

{100;00,01,111}

Equivalent

{01,100;00,111}