p→q の真理値はなぜ ¬p∨(p∧q) と同じになるのですか?