Khác biệt giữa bản sửa đổi của “Đại số Boole”

Trong [[đại số trừu tượng]], '''đại số Boole''' hay đại số Boolean là một [[cấu trúc đại số]] có các tính chất cơ bản của cả các phép toán trên [[tập hợp]] và các phép toán [[logic]]. Cụ thể, các phép toán trên tập hợp được quan tâm là [[phép giao]], [[phép hợp]], [[phép bù]]; và các phép toán [[logic]] là [[Và]], [[Hoặc]], [[Không]].

'''Đại số Boolean algebra''' gồm 6 định lý cơ bản và một tập hợp A, được trang bị hai phép toán nhị phân '''∧''' (được gọi là "AND" hay "phép nhân"), '''∨''' (gọi là "OR" hay "phép cộng"), một phép toán đơn nhất '''¬''' (gọi là "NOT" hay "phép phủ định") và hai giá trị 0 và 1 tương ứng với mức thấp (ký hiệu '''⊥''') và mức cao (ký hiệu '''⊤'''), giả sử ''a'', ''b,'' ''c'' thuộc tập hợp ''A'', ta có các tiên đề sau:<ref>Davey, Priestley, 1990, p.109, 131, 144</ref>