Tag: SYNthesis function

An environment to design and evaluate Boolean equations.