README
1This directory contains an example of a Perl program that
2calls MACE.
3
4File Sheffer-mgi-without-mirrors contains Boolean algebra
5identities alpha=x in terms of the Sheffer stroke. Every such,
6identity of length <= 15, or its mirror image, is subsumed by a
7member of that file.
8
9The Perl program commute4_filter goes through a file of
10equations (one equation per line) and calls MACE for each,
11looking for a noncommutative model of size <= 4. If none
12exist, the equation is printed.
13
14The command
15
16 commute4_filter < Sheffer-mgi-without-mirrors > candidates
17
18should produce 25 candidates.
19
20NOTE: You might have to edit commute4_filter to point it at the mace2 binary.
21