[Introduction to AI] PROJECT 2 PROPOSITIONAL LOGIC

Solution for logic chapter project and Resolution Algorithm Implementation

Lecturer, Supervisor: Bui Duy Dang

Student Name	ID
Nguyen Le Hung	22127135
Tran Van Quyet	21127680