Logical Operations

• Alternative Denial
• AND
• Aut
• Biconditional
• Cap
• Complementation
• Conditional
• Connective
• Cup
• Disjunction
• Equivalent
• Exclusive Disjunction
• Implies
• Inclusive Disjunction
• Joint Denial
• mu-Operator
• Munching Squares
• NAND
• Negation
• Nonequivalent
• NOR
• NOT
• OR
• XNOR
• XOR