羅賓斯公理

邏輯公理

其中 表示 NOT，而 表示 OR，當與結合律和交換律一起使用時，等價於 布林代數 的公理。

羅賓斯算符可以在 Wolfram 語言 中定義為

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

羅賓斯公理是布林代數中的真命題，這可以透過檢查其真值表來驗證。

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