論理演算を自習しようぜ（＾～＾）？

「　論理演算を自習しようぜ？」

「　ラッセルの逆理は　もう飽きたのか？」

「　高速に諦めるのが得意なのよ」

「　👆　この表を　ぱっと埋めれたらいいんだが。０と３と５と１５が難しいぜ」

「　何がなんだか　さっぱり」

「　👆　例えば　８番は　and演算　だぜ」

「　👆　人間は　AとBを区別するような論理演算に　慣れてないと思うの」

「　なるほど」

「　👆　このようにグループ分けしたときの　８番の段は　and演算　がからむと思うの」

「　慧眼だぜ。ハズレてるけど」

「　👆　１４番は　or演算　だぜ。人間の感覚では and と or は似ていないという感覚の方が強いな」

「　👆　AかBかを区別しなくてもいいような　計算は、区別しなくてはいけない計算より　楽だと思うけどなあ」

「　面白い考え方だぜ。楽かどうかは知らんけど」

「　お父んの表の作り方は　合っているのだろうか？」

「　👆　こういう　and　だってあるのでは？」

「　A、Bは　２進数４桁の数ではなく、　２進数１桁の数だと思ってくれだぜ。一行ずつ　分けてみてくれだぜ」

「　👆　まだ　and　と　or　しか開いてないぜ？」

「　簡単なのは　not　だよな。 and を not した nand と、 or を not した nor がある。やってみよう」

「　👆　やっぱ　８の筋、１４の筋が　開いたわよ。左端と右端は　楽なのよ」

「　互い違いなら真の　xor、　互いが同じなら真の　nxor　も開いてみるかだぜ。
数学チャンネルで耳にした話しだと　nxor　は　⇔（同値；どうち）　として有名らしいぜ」

「　👆　バロック対角線上の端が開いた」

「　やっぱ　８の筋、１４の筋」

「　でも　０番と　１５番は　超むずかし！　だぜ」

「　０番は　and を nand、１５番は　or を nor すればいいんじゃないの？」

「　and がもう１個要るぜ。やってみろだぜ」

「　👆　カンタン　カンタン！　これが一番むずかしいんだったら　他は楽勝なんじゃないの？」

「　３番と５番が　最高難度」

「　AとBが　互い違いのところを　計算する方法を知らないんだけど」

「　👆　１１番と１３番を開くぜ。 ⇒ （ならば）は、ベースは xnor （どうち、⇔）なんだが、
矢印の向きがあって、互い違いのところは、向きの先っぽの方を真似するぜ」

「　分かった」

「　何が分かったんだぜ？」

「　だって
１１番の筋は　みんな　互い違いのところが１１番と同じだし、
１３番の筋は　みんな　互い違いのところが１３番と同じなのよ。
そして　１１番も１３番も　９番の nxor （どうち、⇔）をベースにしてるのだから、
and B なり and A なりして要らないのを消せばいいのよ」

「　やってみてくれだぜ」

「　👆　全部　開けたわよ」

「　なんと……」

「　そうなると　０番と１５番が　なんか揃ってないの　気になるぜ。
もっといい揃え方があるのでは？」

「　演算のステップ数が分からないと　最適の判定ができないぜ」

📖 【5分で覚えるIT基礎の基礎】あなたは論理演算がわかりますか？　第1回

「　👆　数学チャンネルによると、　and/or/xor/not　の４つに限定しろとのことだぜ。
ほれ、この記事を読めだぜ」

「　👆　だいぶ　スッキリしてきたが、もっと　スッキリしないかだぜ？」

「　👆　Venn図にしてみたが　どうか」

「　👆　いっそ　記号を全部消して　絵だけにした方が　迷わないか」