> > 記号論理学的には「神＝我」でいいんじゃないのけ？
> ((A∨B)∧(A∨C))→(A∨(B∧C))
> 証明お願いします

図に描けば一秒

参考：2001/06/24(日)00時43分16秒