/// <summary>
/// Построение полинома Жегалкина по формуле.
/// </summary>
/// <param name="formula">Исходная формула</param>
/// <returns>Полином Жегалкина</returns>
public static BooleanFormula ZhegalkinPolynomial(BooleanFormula formula)
{
return(ZhegalkinPolynomial(BooleanFunction.ZhegalkinVector(formula.RealizedFunction), formula.Variables));
}
/// <summary>
/// Построение полинома Жегалкина для булевой функции.
/// </summary>
/// <param name="function">Булева функция</param>
/// <returns>Полином Жегалкина</returns>
public static BooleanFormula ZhegalkinPolynomial(BooleanFunction function)
{
return(ZhegalkinPolynomial(BooleanFunction.ZhegalkinVector(function)));
}