論理式が全然分からないんですけど、主加法標準形や主乗法標準形等は理屈よりそういうのだと割り切って覚えたり捉えたりした方が良いんでしょうか？