Sử dụng phương pháp logic mệnh đề giải các bài toán logic

Abstract

Hệ thống các lý thuyết cơ bản logic mệnh đề. Sử dụng phương pháp logic mệnh đề giải các bài toán logic. Tổng hợp một số bài toán logic với các dạng khác nhau và phương pháp giải.