Find symmetries for a simple Boolean expression.
>
|
|
| (1) |
| (2) |
We can see that the symmetry group is non-Abelian and is isomorphic to SmallGroup(8,3).
>
|
|
>
|
|
By invoking SymmetryGroup with the output option we can obtain the list L of subexpressions.
>
|
|
| (5) |
We can apply one of the generators of G to L to see an example of a symmetry in action. In this example, a is swapped with not e, b is swapped with d, and c is swapped with its negation.
>
|
|
| (6) |
>
|
|
>
|
|
| (8) |
Find symmetries and expressions for another simple Boolean expression.
>
|
|
| (9) |
>
|
|
| (10) |
>
|
|
Attempt to compute symmetries on an expression which is not in conjunctive normal form (CNF).
>
|
|
| (12) |
Convert to CNF using Normalize. Note this may be costly for large expressions.
>
|
|
| (13) |
Observe that the expression has no nontrivial symmetries.
>
|
|
>
|
|