Example #1
0
 public void AndZero()
 {
     INode root = new Logic.And(VariableNode.Make<bool>(0, "x"), new Constant<bool>(false));
     Assert.AreEqual(
         SimplifyLogicTree(root).ToString(), bool.FalseString);
 }
Example #2
0
 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());
 }