Позволяет создавать все возможные комбинации формул для бинарных операторов (расстановка скобок). Поддерживает сложные формулы.

Инициализируется отдельно после создания экземпляра:

var formulaManager = new FormulaManager(input_string);
try
{
    formulaManager.Init();
}
catch (Exception err)
{
    MessageBox.Show(err.Message);
} 

В качестве операторов используются символы:

• + - дизъюнкция
• * - конъюнкция
• > - импликация
• = - эквиваленция
• ~ - отрицание

Изменить символы операторов можно в классе Formula

.NET Standart 2.0