Download as pdf or txt
Download as pdf or txt
You are on page 1of 1

BÀI TẬP TUẦN 1

Câu hỏi
1. Chứng minh hai công thức sau là tương đương
(a) p → (q ∨ r) và (p ∧ ¬q) → r
(b) p → (q → r) và (p ∧ q) → r

2. Lập bảng logic cho các công thức sau


(a) [(p → q) ∨ (q ∧ r)] → s
(b) [(p ∧ q) → (¬p ∨ r)] ↔ (¬r → s)

1/1

You might also like