>>134
吸収律は、ブール束というか
一般に束の定義の一部(公理)なので、
他の公式から導くことはできない。