b.(ビードット)のベーシックとしての用途は、u b. yとした場合、yが_1ならばuのオブバースの表示(線形表示になります)、yが0ならば0 0 0というようなuのランクを示します。yが1ならばアイデンティティ関数の表示を行います。 ^ b. _1 ^. ^ b. 0 0 0 0 ^ b. 1…

ブール型としては、単項動詞として使った場合、左側の引数がゼロの場合と同等。つまり、 m b. y ↔ 0 m b.y となる。二項動詞の場合： 二項動詞fを、d=:0 1について、d f/ d(または f/~ d)とすると、すべての場合についてを示す2x2のテーブルが作成される。or…

b.(ビードット)はブール型の用途と、ベーシックの用途の二通りがあります。