自由生成ブール代数をビット列のブール演算で表すことできるのかな。

単にn個のatomがあったら長さnのビットベクターを用意すればいいのか。

Follow

vector をベクトルと読むかベクターと読むか。

Sign in to participate in the conversation
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.