Contiene tutti i metodi necessari per ottenere una funzione booleana in sintesi minima partendo dalla sua rappresentazione postfissa.

Questa classe mette a disposizione i metodi attraverso i quali è possibile stabilire l’appartenenza di una stringa alfanumerica al linguaggio dell’algebra.

Questa classe mette a disposizione i metodi necessari codificare l’espressione in notazione infissa, data in input, in una postfissa.

Contiene tutte le strutture dati utilizzate durante la sintesi e i metodi attraverso i quali viene realizzata.