/// <summary>Check whether give proposition is contradiction</summary>
/// <exception cref="InvaildPropositionException"></exception>
/// <returns>True if contradiction</returns>
public static bool IsContradiction(this Proposition expr)
{
return(logEngine.IsContradiction(expr));
}