Trả lời:
Đáp án đúng: B
Luật P→Q tương đương với ¬P∨Q. Ta có thể chứng minh điều này bằng bảng chân trị hoặc biến đổi logic.
Xét bảng chân trị:
P | Q | P→Q | ¬P | ¬P∨Q
--|---|-----|----|------
T | T | T | F | T
T | F | F | F | F
F | T | T | T | T
F | F | T | T | T
Như vậy, cột P→Q và ¬P∨Q giống nhau, nên P→Q tương đương với ¬P∨Q.





