Package org.qedeq.kernel.bo.logic

Contains the logical abilities of the kernel.

See:
Description

Class Summary

EqualFormula	Encapsulates a logical formula.
EqualFormulaSet	This class represents a set of Elements.
FormulaChecker	This class deals with Elements which represent a formula.
LogicalEquivalence	This class deals with Elements and could check if two formulas are logically equivalent.

Exception Summary

CheckException

This is an exception for semantic checks.

Package org.qedeq.kernel.bo.logic Description

Contains the logical abilities of the kernel. If two formulas are logically equivalent could be checked here.