邏輯運算

• 選擇否定
• 與
• 自
• 雙條件
• 交
• 補運算
• 條件
• 連線詞
• 並
• 析取
• 等價
• 異或
• 蘊含
• 相容或
• 聯合否定
• μ-算符
• Munching Squares
• 與非
• 否定
• 非等價
• 或非
• 非
• 或
• 同或
• 異或