逻辑运算

• 选择否定
• 与
• 自
• 双条件
• 交
• 补运算
• 条件
• 连接词
• 并
• 析取
• 等价
• 异或
• 蕴含
• 相容或
• 联合否定
• μ-算符
• Munching Squares
• 与非
• 否定
• 非等价
• 或非
• 非
• 或
• 同或
• 异或