検索には↑【NAND否定論理積】と()【括弧】を組み合わせることで、すべてのブール関数が使えます。例：A↑A【Aでないもの】、(A↑B)↑(A↑B)【AかつBなもの】

利便性のために&【アンド】|【オア】!【ノット】⇔【同値】^【排他的論理和】→【含意】←【逆含意】↓【NOR否定論理和】が使用可能です