2元体

452

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日

この記事を高評価した人

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

バッジはありません。

2470

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

コメントはありません。

読み込み中