Logical connectives

# FuzzyLogic.DrasticAnd — Type

Drastic T-norm defining conjuction as is or and otherwise.

# FuzzyLogic.EinsteinAnd — Type

Einstein T-norm defining conjuction as .

# FuzzyLogic.HamacherAnd — Type

Hamacher T-norm defining conjuction as if and otherwise.

# FuzzyLogic.LukasiewiczAnd — Type

Lukasiewicz T-norm defining conjuction as .

# FuzzyLogic.MinAnd — Type

Minimum T-norm defining conjuction as .

# FuzzyLogic.NilpotentAnd — Type

Nilpotent T-norm defining conjuction as when and otherwise.

# FuzzyLogic.ProdAnd — Type

Product T-norm defining conjuction as .

# FuzzyLogic.BoundedSumOr — Type

Bounded sum S-norm defining disjunction as .

# FuzzyLogic.DrasticOr — Type

Drastic S-norm defining disjunction as .

# FuzzyLogic.EinsteinOr — Type

Einstein S-norm defining disjunction as .

# FuzzyLogic.HamacherOr — Type

Hamacher S-norm defining conjuction as if and otherwise.

# FuzzyLogic.MaxOr — Type

Maximum S-norm defining disjunction as .

# FuzzyLogic.NilpotentOr — Type

Nilpotent S-norm defining disjunction as when and otherwise.

# FuzzyLogic.ProbSumOr — Type

Probabilistic sum S-norm defining disjunction as .

# FuzzyLogic.MinImplication — Type

Minimum implication defined as .

# FuzzyLogic.ProdImplication — Type

Product implication defined as .