Предметный указатель

Он включает следующие функции, позволяющие оперировать с булевыми выражениями:

bequal bsimp canon convert/MOD2 convert/frominert
convert/toinert distrib dual environ randbool
satisfy tautology

В этом пакете используются следующие булевы операторы: &and, &or, &not, &iff, &nor, &nand, &xor, и &implies.

Например, чтобы упростить Булево выражение , нужно записать:

> with(logic): bsimp((a &and b) &or (a &and (&not b)));

Предметный указатель