2元体

296

0と1からなる体を定義する。

積算は論理でいう「かつ(論理積)∧」でいいが、加算は「または(論理和)∨」ではなく「排他的論理和XOR」を使う。また加算は減算と同じである。とうぜん0割は禁止される。

加算
0+0=0
0+1=1
1+0=1
1+1=0

減算
0-0=0
0-1=1
1-0=1
1-1=0

積算
00=0
01=0
10=0
11=1

除算
0/1=0
1/1=1

投稿日：2020年11月30日

更新日：2020年11月30日

投稿者

ぼくの証明はエレガントではないし文章もくどいのです。マウントを取りたい人のコメントはそのつど通報しています。

高評価したユーザはいません

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

ぼくの証明はエレガントではないし文章もくどいのです。マウントを取りたい人のコメントはそのつど通報しています。