罗宾斯公理

逻辑公理

其中 表示 NOT，而 表示 OR，当与结合律和交换律一起使用时，等价于 布尔代数 的公理。

罗宾斯算符可以在 Wolfram 语言 中定义为

  Robbins := Function[{x, y}, ! (! (! y \[Or] x)
    \[Or] ! (x \[Or] y))]

罗宾斯公理是布尔代数中的真命题，这可以通过检查其真值表来验证。

真	真	真
真	假	真
假	真	假
假	假	假