Negation of Conjunction.
Negation of Conjunction. (NAND)
p q p !&& q 0 0 1 0 1 1 1 0 1 1 1 0
Returns the given argument if this is false
, otherwise, the zero element for the type of the given
argument.
Negation of Disjunction.
Negation of Disjunction. (NOR)
p q p !|| q 0 0 1 0 1 0 1 0 0 1 1 0
Conditional.
Conditional.
p q p --> q 0 0 1 0 1 1 1 0 0 1 1 1
Negational of Conditional.
Negational of Conditional.
p q p -/> q 0 0 0 0 1 0 1 0 1 1 1 0
Conjunction.
Conjunction. (AND)
p q p /\ q 0 0 0 0 1 0 1 0 0 1 1 1
Inverse Conditional.
Inverse Conditional.
p q p <-- q 0 0 1 0 1 0 1 0 1 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
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.
Disjunction.
Disjunction. (OR)
p q p \/ q 0 0 0 0 1 1 1 0 1 1 1 1
Returns the first argument in Left
if this is true
, otherwise the second argument in
Right
.
t
if true, f
otherwise
Returns the given argument in LazySome
if this is true
, LazyNone
otherwise.
Returns the given argument in Some
if this is true
, None
otherwise.
Executes the given side-effect if this boolean value is false
.
Returns the given argument if cond
is false
, otherwise, unit lifted into M.
Executes the given side-effect if this boolean value is true
.
Returns the given argument if cond
is true, otherwise, unit lifted into M.
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
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