いやだからA∧B∧C∧Dと書いても、これは厳密には論理式じゃないの
(((A∧B)∧C)∧D)とか(A∧(B∧(C∧D)))とか書かないといけないの
だからそれらが全て同値になることをまず証明しないといけないの

わかる？

何度も連投しないでくれよ、うっとおしい