public void AndZero() { INode root = new Logic.And(VariableNode.Make<bool>(0, "x"), new Constant<bool>(false)); Assert.AreEqual( SimplifyLogicTree(root).ToString(), bool.FalseString); }
public void AndOne() { INode root = new Logic.And(VariableNode.Make<bool>(0, "x"), new Constant<bool>(true)); Assert.AreEqual( SimplifyLogicTree(root).ToString(), VariableNode.Make<bool>(0, "x").ToString()); }