Hãy chuyển tập luật về dạng chuẩn và vẽ cây hợp giải để chứng minh

Chào các bác. Có bác nào giải giúp mình bài số 7 k ạ? Mình cảm ơn
​bài tập môn trí tuệ nhân tạo