Bảng 11.2 tóm tắt đặc tính quan trọng của đại số Boolean. Các phương trình đã
được sắp xếp theo hai cột để hiển thị bổ sung, hoặc kép, bản chất của
AND và OR hoạt động. Có hai loại sắc: các quy tắc cơ bản (hay định đề), đã được xác định không có bằng chứng, và các bản sắc khác có thể được bắt nguồn từ
những định đề cơ bản. Những định đề xác định cách thức mà biểu thức Boolean
được giải thích. Một trong hai luật phân phối là đáng chú ý vì nó khác
với những gì chúng ta sẽ tìm thấy trong đại số thông thường:
đang được dịch, vui lòng đợi..