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}