AまたはB =A+B
というのは「AかつB」=AB も含むのでしょうか。
それともAとBは排反事象=AB^+A^Bなのでしょうか。