25/12/21 19:44:46.23 QjcNA50a.net
>>210
>IUT論文? 斜め読みしましたよ。ほとんど お経ですね
おそらくそれは単に眺めただけでは?
もし斜め読みしているなら
URLリンク(www.kurims.kyoto-u.ac.jp)
>[9]
の冒頭の論理積と論理和(XOR?)の所の
A∧B=A∧(B1∀B2∀…)
=>A∧(B1∀B2∀…∀B'1∀B'2∀…)
=>A∧(B1∀B2∀…∀B'1∀B'2∀…∀B''1∀B''2∀…)
(∀はホントは∨に・でXORの記号らしい)
てのがとても重要なように書かれてるけれど
意味分かります?