toán rời rạc SLIDE_SET_DaiSoBool

Phép lấy phần bù, tổng và tích Boole tương ứng với các toán tử logic Ø, Ú, Ù, trong đó 0 tương ứng với F (false, sai) và 1 tương ứng với T (true, đúng). Các kết quả của đại số Boole có thể được dịch trực tiếp thành mệnh đề và ngược lại. Dùng các hằng đẳng thức đã có để chứng minh các hằng đẳng thức khác