private void SimplifyChild(STElement left)
{
if (!leftNode.ExistsContradiction())
{
leftNode.Simplify();
}
}
public ST(Node proposition)
{
Root = new STElement(new HashSet <Node> {
new NegationSign(proposition)
}, new List <char>(), "");
Root.Simplify();
IsTautology = Root.IsClosed();
}
private void SimplifyChilds(STElement left, STElement right)
{
if (!leftNode.ExistsContradiction())
{
leftNode.Simplify();
}
if (!rightNode.ExistsContradiction())
{
rightNode.Simplify();
}
}