A operação
FN
fornece a
Forma Normal
do conjunto solicitado.