Expression: (A | B | E') & (A | B | C') & (A | C' | D) & (A | C' | F') & (B |
E | F) & (A' | B | F) & (C' | D) & (A' | B | D) & (B' | C | E) & (C' | D' |
F') & (B | D' | E') & (C | D) & (A | C | D') & (A' | D | E') & (B | D) & (D' |
E | F') & (D | E) & (A' | E') & (B | C) & (B | C | E) & (A' | C | D) & (A | C)
& (F') & (A' | C')
6 variables and 24 clauses
Initial assignment:
A:1 B:1 C:1 D:1 E:1 F:0
22 clauses satisfied
Flipping F ...
A:1 B:1 C:1 D:1 E:1 F:1
20 clauses satisfied
Doh! Flipping F back now (22  was better)
A:1 B:1 C:1 D:1 E:1 F:0
Flipping D ...
A:1 B:1 C:1 D:0 E:1 F:0
20 clauses satisfied
Doh! Flipping D back now (22  was better)
A:1 B:1 C:1 D:1 E:1 F:0
Flipping E ...
A:1 B:1 C:1 D:1 E:0 F:0
23 clauses satisfied
Flipping F ...
A:1 B:1 C:1 D:1 E:0 F:1
20 clauses satisfied
Doh! Flipping F back now (23  was better)
A:1 B:1 C:1 D:1 E:0 F:0
Flipping C ...
A:1 B:1 C:0 D:1 E:0 F:0
23 clauses satisfied
Flipping D ...
A:1 B:1 C:0 D:0 E:0 F:0
20 clauses satisfied
Doh! Flipping D back now (23  was better)
A:1 B:1 C:0 D:1 E:0 F:0
Flipping D ...
A:1 B:1 C:0 D:0 E:0 F:0
20 clauses satisfied
Doh! Flipping D back now (23  was better)
A:1 B:1 C:0 D:1 E:0 F:0
Flipping C ...
A:1 B:1 C:1 D:1 E:0 F:0
23 clauses satisfied
Flipping F ...
A:1 B:1 C:1 D:1 E:0 F:1
20 clauses satisfied
Doh! Flipping F back now (23  was better)
A:1 B:1 C:1 D:1 E:0 F:0
Flipping A ...
A:0 B:1 C:1 D:1 E:0 F:0
24 clauses satisfied
Expressions satisfied in 10 iterations