논리, 집합, 부울대수


정리들이 죄다 유사하게 생겼는데


예를들어 논리곱이면 집합에선, 곱집합 부울에선, AND게이트


다 똑같은거라고 봐도됨?


대수연산이나 기본정리 이런거 다 동치라고 봐도 됨?