Executes the given side-effect if this boolean value is true
.
Conditional operator that returns the first argument if this is true
, the second argument otherwise.
Returns the given argument if this is true
, otherwise, the zero element for the type of the given
argument.
Returns the first argument in Left
if this is true
, otherwise the second argument in
Right
.
a
if true, b
otherwise
Returns the given argument in Some
if this is true
, None
otherwise.
Executes the given side-effect if this boolean value is false
.
Executes the given side-effect if this boolean value is true
.
Conditional.
Conditional.
p q p → q 0 0 1 0 1 1 1 0 0 1 1 1
Negation of Inverse Conditional.
Negation of Inverse Conditional.
p q p ⇍ q 0 0 0 0 1 1 1 0 0 1 1 0
Negational of Conditional.
Negational of Conditional.
p q p ⇏ q 0 0 0 0 1 0 1 0 1 1 1 0
Inverse Conditional.
Inverse Conditional.
p q p ⇐ q 0 0 1 0 1 0 1 0 1 1 1 1
Conjunction.
Conjunction. (AND)
p q p ∧ q 0 0 0 0 1 0 1 0 0 1 1 1
Disjunction.
Disjunction. (OR)
p q p ∨ q 0 0 0 0 1 1 1 0 1 1 1 1
Negation of Disjunction.
Negation of Disjunction. (NAND)
p q p ⊼ q 0 0 1 0 1 0 1 0 0 1 1 0
Negation of Conjunction.
Negation of Conjunction. (NOR)
p q p ⊽ q 0 0 1 0 1 1 1 0 1 1 1 0