/// <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)); }