Uses of Class
edu.uky.ai.logic.Disjunction

Packages that use Disjunction

Package	Description
edu.uky.ai.logic	Contains objects for representing logical formulas.

Uses of Disjunction in edu.uky.ai.logic

Methods in edu.uky.ai.logic that return Disjunction

Modifier and Type	Method	Description
Disjunction	Conjunction.negate()
Disjunction	Disjunction.negate()