SNIPPETS/TSETLIN> (test-tsetlin-learn-xor)
0 0 => 0
0 1 => 1
1 0 => 1
1 1 => 0

Positive clauses:
  ¬x0 ∧  x1
  ¬x0 ∧  x1
  ¬x0 ∧  x1
  ¬x0 ∧  x1
   x0 ∧ ¬x1
  ¬x0 ∧  x1
   x0 ∧ ¬x1
  ¬x0 ∧  x1
Negative clauses:
  ¬x0 ∧ ¬x1
  ¬x0 ∧ ¬x1
  ¬x0 ∧ ¬x1
  ¬x0 ∧ ¬x1
   x0 ∧  x1
   x0 ∧  x1
  ¬x0 ∧ ¬x1
  ¬x0 ∧ ¬x1