... 1) Đại số lôgic đại số Boole, S tập hợp mệnh đề, phép toán (hội), (tuyển), − (phủ định) tương ứng với , +, ’, đ (đúng), s (sai) tương ứng với phần tử trung hoà 1, 2) Đại số tập hợp đại số ... bit Bảng 1, mà thường gọi phép toán AND-bit, OR-bit, NOT-bit Bn với phép toán tạo thành đại số Boole 4) Cho M tập hợp số thực có cận p, cận q tâm đối xứng O Các phép toán , +, ’ M định nghĩa sau: ... suy từ tiên đề khác Tương tự đại số lôgic, đại số Boole ta xét công thức, thành lập từ biến a, b, c, … nhờ phép toán , +, ’ Trong công thức, ta quy ước thực phép toán theo thứ tự: ’, , +; a.b...