/// <summary>Find assignment list which each assignment table make give proposition true</summary>
/// <exception cref="InvaildPropositionException"></exception>
/// <returns>Assignment list</returns>
public static List <Dictionary <string, bool> > GetTrueAssignmentList(this Proposition expr)
{
return(logEngine.GetTrueAssignmentList(expr));
}