>>47
定理って言ってるんだから、定理だろ。
ベン図と真理値表で簡単に証明可能。