Logical connectives

struct DrasticAnd <: FuzzyLogic.AbstractAnd

Drastic T-norm defining conjuction as $A ∧ B = \min(A, B)$ is $A = 1$ or $B = 1$ and $A ∧ B = 0$ otherwise.

struct EinsteinAnd <: FuzzyLogic.AbstractAnd

Einstein T-norm defining conjuction as $A ∧ B = \frac{AB}{2 - A - B + AB}$.

struct HamacherAnd <: FuzzyLogic.AbstractAnd

Hamacher T-norm defining conjuction as $A ∧ B = \frac{AB}{A + B - AB}$ if $A \neq 0 \neq B$ and $A ∧ B = 0$ otherwise.

struct LukasiewiczAnd <: FuzzyLogic.AbstractAnd

Lukasiewicz T-norm defining conjuction as $A ∧ B = \max(0, A + B - 1)$.

struct MinAnd <: FuzzyLogic.AbstractAnd

Minimum T-norm defining conjuction as $A ∧ B = \min(A, B)$.

struct NilpotentAnd <: FuzzyLogic.AbstractAnd

Nilpotent T-norm defining conjuction as $A ∧ B = \min(A, B)$ when $A + B > 1$ and $A ∧ B = 0$ otherwise.

struct ProdAnd <: FuzzyLogic.AbstractAnd

Product T-norm defining conjuction as $A ∧ B = AB$.

struct BoundedSumOr <: FuzzyLogic.AbstractOr

Bounded sum S-norm defining disjunction as $A ∨ B = \min(1, A + B)$.

struct DrasticOr <: FuzzyLogic.AbstractOr

Drastic S-norm defining disjunction as $A ∨ B = \min(1, A + B)$.

struct EinsteinOr <: FuzzyLogic.AbstractOr

Einstein S-norm defining disjunction as $A ∨ B = \frac{A + B}{1 + AB}$.

struct HamacherOr <: FuzzyLogic.AbstractOr

Hamacher S-norm defining conjuction as $A ∨ B = \frac{A + B - AB}{1 - AB}$ if $A \neq 1 \neq B$ and $A ∨ B = 1$ otherwise.

struct MaxOr <: FuzzyLogic.AbstractOr

Maximum S-norm defining disjunction as $A ∨ B = \max(A, B)$.

struct NilpotentOr <: FuzzyLogic.AbstractOr

Nilpotent S-norm defining disjunction as $A ∨ B = \max(A, B)$ when $A + B < 1$ and $A ∧ B = 1$ otherwise.

struct ProbSumOr <: FuzzyLogic.AbstractOr

Probabilistic sum S-norm defining disjunction as $A ∨ B = A + B - AB$.

struct MinImplication <: FuzzyLogic.AbstractImplication

Minimum implication defined as $A → B = \min(A, B)$.

struct ProdImplication <: FuzzyLogic.AbstractImplication

Product implication defined as $A → B = AB$.