private void SetAtomState(char atom, bool?state)
{
if (!Atoms.ContainsKey(atom))
{
throw new Exception("_atoms[atom]");
}
Node.Node node = Atoms[atom];
node.SetState(state, state != null && state.Value);
}
public ImplicationData(Node.Node left, Node.Node right)
{
Left = left;
Right = right;
}
