Mọi người cho mình hỏi làm sao ra được bước kq như vậy trong phép toàn dưới:
-
(p \vee r) \wedge (-q \vee r) \Leftrightarrow (p \wedge -q) \vee r
-
Kq câu 2 này là mình tự suy ra nhưng không biết cách chứng minh.
Mọi người chỉ giúp mình cách chứng minh vs ạ
(A \wedge p) \vee (A \wedge -p) <=>(p \vee -p) \wedge A -
2 bài trên có điểm chung gì hay không?
Cảm ơn mn