/// <summary>Convert to NNF proposition</summary>
/// <exception cref="InvaildPropositionException"></exception>
/// <returns>NNF proposition</returns>
public static Proposition ToNNF(this Proposition expr)
{
if (expr.IsNNF())
{
return(expr);
}
return(logEngine.ConvertToNNF(expr));
}
