/** Test of getValue method, of class Disjunction. */
@Test
public void testGetValue() {
System.out.println("getValue0");
Literal l = new Literal("a");
Literal r = new Literal("b");
Disjunction instance = new Disjunction(l, r);
Boolean expResult = null;
Boolean result = instance.getValue();
assertEquals(expResult, result);
System.out.println("getValue1");
l = new Literal("a", true);
r = new Literal("b", false);
instance = new Disjunction(l, r);
expResult = false;
result = instance.getValue();
assertEquals(expResult, result);
System.out.println("getValue2");
l = new Literal("a", true);
r = new Literal("b", true);
Literal r2 = new Literal("c", true);
instance = new Disjunction(l, r, r2);
expResult = true;
result = instance.getValue();
assertEquals(expResult, result);
System.out.println("getValue3");
l = new Literal("a", false);
r = new Literal("b", false);
r2 = new Literal("c", false);
instance = new Disjunction(l, r, r2);
expResult = false;
result = instance.getValue();
assertEquals(expResult, result);
System.out.println("getValue4");
l = new Literal("a", true);
r = new Literal("b", true);
r2 = new Literal("c");
instance = new Disjunction(l, r, r2);
expResult = null;
result = instance.getValue();
assertEquals(expResult, result);
System.out.println("getValue5");
l = new Literal("a", false);
r = new Literal("b", true);
r2 = new Literal("c", false);
instance = new Disjunction(l, r, r2);
expResult = false;
result = instance.getValue();
assertEquals(expResult, result);
}
