Sheffer stroke （シェファーの棒記号）
五つの論理的結合子"¬、∨、∧、→、⇔"と（ ）を使う代わりに、一つの記号"｜"と（ ）だけで同じ表現ができる。Ａ｜Ｂは¬（Ａ∧Ｂ）を意味する。
通常の真理表
と次の真理表を比較せよ。
Ａ
Ａ｜Ａ
１
０
０
１
Ａ
Ｂ
（Ａ｜Ａ）｜（Ｂ｜Ｂ）
（Ａ｜Ｂ）｜（Ａ｜Ｂ）
Ａ｜（Ｂ｜Ｂ）
（Ａ｜Ｂ）｜（（Ａ｜Ａ）｜（Ｂ｜Ｂ））
１
１
１
１
１
１
１
０
１
０
０
０
０
１
１
０
１
０
０
０
０
０
１
１
論理学ホームページ