Documentation
(∧) :: Bool -> Bool -> Bool infixr 3 #
(∧) = (&&
)
U+2227, LOGICAL AND
(∨) :: Bool -> Bool -> Bool infixr 2 #
(∨) = (||
)
U+2228, LOGICAL OR
(¬) :: Bool -> Bool #
(¬) = not
U+00AC, NOT SIGN
(⊻) :: Bool -> Bool -> Bool infixr 3 #
a ⊻ b = (a ∨ b) ∧ not (a ∧ b)
U+22BB, XOR
(⊼) :: Bool -> Bool -> Bool infixr 3 #
a ⊼ b = not (a ∧ b)
U+22bc, NAND
(⊽) :: Bool -> Bool -> Bool infixr 3 #
a ⊽ b = not (a ∨ b)
U+22bd, NOR