Ro: Programul aduce orice formulă propozițională bine formată la forma normal negativă simplificată, foma normal disjunctivă și forma normal conjunctivă.
En: A script used to transform Boolean functions to a canonical form (FNN). It also transforms it to a Sum of Products (FND) and Product of Sums (FNC).