public interface Operations extends Term
Modifier and Type | Method and Description |
---|---|
void |
addOperand(Term operand)
add another operand to the operations term
|
java.util.List<Term> |
getOperands()
As a Operations object is a collection of Terms, we must be able to show them
|
boolean |
isAssociative()
a binary operation * on a set S is called associative if it satisfies the associative law:
(x * y) * z = x * (y * z) for all x,y,z in S.
|
boolean |
isBinary()
the operation is binary, if it contains two operands
|
boolean |
isCommutative()
In standard truth-functional propositional logic, commutativity refer to two valid rules of replacement.
|
boolean |
isDistributive()
In propositional logic, distribution refers to two valid rules of replacement.
|
java.util.List<Term> getOperands()
void addOperand(Term operand)
operand
- boolean isBinary()
boolean isAssociative()
boolean isCommutative()
boolean isDistributive()