Interface | Description |
---|---|
Formula |
A logical formula composed of
Atoms and logical operators. |
Class | Description |
---|---|
AbstractBranchFormula<T extends AbstractBranchFormula<T>> |
An abstract branching formula.
|
Conjunction | |
Disjunction | |
FormulaAnalysis |
Converts a
Formula to a simplified Disjunctive Normal Form view
and makes the clauses available. |
Implication | |
Negation |
This class implements fuzzy negation.
|
Copyright © 2018 University of California, Santa Cruz. All rights reserved.