α ∗ β
m a x { α + β − 1,0 }
m i n { α , β }
α ⋅ β
α → β
m i n { 1 − α + β ,1 }
{ 1 if α ≤ β β otherwise
{ 1 if α ≤ β β α otherwise
α ↔ β
1 − | α − β |
{ 1 if α = β min { α , β } otherwise
{ 1 if α = β min { α , β } max { α , β } otherwise
¬ α
1 − α
{ 1 if α = 0 0 otherwise