Online Help

The Environment command controls the current environment used for automatic simplification of Boolean expressions, that is, which identities and properties are automatically applied to logical expressions.

If level is not provided, the current simplification level is returned. If it is provided, the simplification level is set to level and NULL is returned.

The default level is 0.

The following describes the various levels of logical simplification.

0 -- No simplifications.

1 -- Associative properties are applied to remove redundant parentheses; the input is expressed in terms of &and, &or, and &not.

2 -- In addition to level 1 simplifications, the properties a &and a --> a and a &or a --> a and knowledge of true and false are applied.

with(Logic);

$\left[\mathrm{\&and}\,\mathrm{\&iff}\,\mathrm{\&implies}\,\mathrm{\&nand}\,\mathrm{\&nor}\,\mathrm{\&not}\,\mathrm{\&or}\,\mathrm{\&xor}\,\mathrm{BooleanSimplify}\,\mathrm{Canonicalize}\,\mathrm{Complement}\,\mathrm{Contradiction}\,\mathrm{Convert}\,\mathrm{Dual}\,\mathrm{Environment}\,\mathrm{Equivalent}\,\mathrm{Export}\,\mathrm{Implies}\,\mathrm{Import}\,\mathrm{IncidenceGraph}\,\mathrm{Normalize}\,\mathrm{Parity}\,\mathrm{PrimalGraph}\,\mathrm{Random}\,\mathrm{Satisfiable}\,\mathrm{Satisfy}\,\mathrm{SymmetryGroup}\,\mathrm{Tautology}\,\mathrm{TruthTable}\,\mathrm{Tseitin}\right]$

Environment(0);

a &and b &and a;

$\left(a\wedge b\right)\wedge a$

a &iff a;

$a\iff a$

Environment(1);

a &and b &and a;

$a\wedge a\wedge b$

a &iff a;

$\left(a\wedge a\right)\vee \left(\left(\neg a\right)\wedge \left(\neg a\right)\right)$

Environment(2);

a &and b &and a;

$a\wedge b$

a &iff a;

$a\vee \left(\neg a\right)$