-
Notifications
You must be signed in to change notification settings - Fork 0
/
Nor.java
90 lines (74 loc) · 2.41 KB
/
Nor.java
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
import java.util.List;
import java.util.Map;
/**
* Nor Represent the Nor logical operator between two Expressions.
* @author Yossi Maatook.
*/
public class Nor extends BinaryExpression {
/**
* Constructor.
* @param first - one expression forming the And operator.
* @param second - second expression forming the And operator.
*/
public Nor(Expression first, Expression second) {
super(first, second);
}
@Override
public Boolean evaluate(Map<String, Boolean> assignment) throws Exception {
return super.evaluate(assignment);
}
@Override
public Boolean evaluate() throws Exception {
return super.evaluate();
}
@Override
protected boolean evaluate(boolean firstValue, boolean secondValue) {
return !firstValue && !secondValue;
}
@Override
public Expression assign(String var, Expression expression) {
return super.assign(var, expression);
}
@Override
public List<String> getVariables() {
return super.getVariables();
}
@Override
public String toString() {
return super.toString();
}
@Override
public String getExpressionSign() {
return ("V");
}
@Override
protected Expression createInstance(Expression firstExpression, Expression secondExpression) {
return new Nor(firstExpression, secondExpression);
}
@Override
public Expression norify() {
return createInstance(getFirstExpression().norify(), getSecondExpression().norify());
}
@Override
public Expression nandify() {
Nand subNand = new Nand(new Nand(getFirstExpression().nandify(), getFirstExpression().nandify()),
new Nand(getSecondExpression().nandify(), getSecondExpression().nandify()));
return new Nand(subNand, subNand);
}
@Override
public Expression simplify() {
return super.simplify();
}
@Override
protected Expression oneSubExpressionIsTrue(Expression expression, Boolean isOnRight) {
return new Val(false);
}
@Override
protected Expression oneSubExpressionIsFalse(Expression expression, Boolean isOnRight) {
return new Not(expression);
}
@Override
protected Expression bothSubExpressionIsSame(Expression expression) {
return new Not(expression);
}
}