它来表达（Sheffer 1913）。查尔斯·皮尔士在30多年前（1880年）就发现了这个事实。皮尔士还发现所有布尔算子都可以用NOR算子来表达。
基于谢费尔竖线的形式系统.下面是完全基于谢费尔竖线的形式系统的一个例子，它有着命题逻辑的表达能力。
符号.A B C D E F G ' <br>谢费尔竖线符合交换律不符合结合律。所以包括谢费尔竖线的所有形式系统必须也包含某种表示组合的方式。我们将为此采用'('和')'。
文法.字