SolveBooleanTable​(AngouriMath.​Entity,​AngouriMath.​Entity.​Variable[])

Entity expr = "(a xor b or c) implies (a or c)";
var sols = MathS.SolveBooleanTable(expr, "a", "b", "c");

if (sols is null)
    Console.WriteLine("No solution found");
else
{
    Console.WriteLine(sols.ToString(multilineFormat: true));
    Console.WriteLine();
    for (int i = 0; i < sols.RowCount; i++)
    {
        var a = (bool)sols[i, 0].EvalBoolean();
        var b = (bool)sols[i, 1].EvalBoolean();
        var c = (bool)sols[i, 2].EvalBoolean();
        Console.WriteLine($"Solution #{i}: {a}, {b}, {c}");
    }
}