Có 3 mệnh đề P, Q, M. Biết phủ định của P là hội của 2 mệnh đề Q và M, phủ định của Q là hội của 2 mệnh đề P và M, phủ định của M là hội của 2 mệnh đề P và Q. Như vậy ta có \text{\={P}} \lor \text{\={Q}} \lor \text{\={M}} = P \lor Q \lor M
Điều này có đúng ko vậy các bạn?