Boolean algebra
đại số Boole, đại số logic Một dạng đại số cơ bản đối với các hoạt động của máy. tính, do nhà toán học Anh George Boole phát triền vào giữa những năm 1800. Đại số Boole nghiện cứu chứ không tính toán trị số của X hoặc y. Nó dựa trên ý tường cho rằng các mệnh đề logic hoặc là đúng hoặc là sai, tùy thuộc vào loại phép toán chúng mô tả và vào sự kiện các biến cố Hên quan là đúng hay sai. Hai điềm quan trọng của đại số Boole là các biến có thề được hạn chế ờ một trong hai giá trị duy nhất, đứng hoặc sai, và có thề biều diễn quan hệ giữa các biến đó nttột cách logic bằng các toán tử như AND, ỌR và NOT. Giả sử cho các biến hai trạng thái đó và các quan hệ giữa chúng, ta có thề áp dụng đại số Boole cho hệ mạch điện tử dùng trong máy tính số và do vậy có thề dùng đề xử lý thông tin và giải các bài toán. Ví dụ, đúng và sai dễ dàng biều diễn được bằng những điện áp khác nhau như các số nhj phân 1 (đúng) và 0 (sai) trong " ngôn ngữ riêng" cùa máy tính. Hơn nữa, logic Boole dựa trên những mệnh đề như A AND B = đúng, nghĩa là nếu A là đúng và B là đúng, thì kết quả luôn luôn đúng. Có thề thiết kế logic đó vào các mạch máy tính như các còng logic điều khiền dòng điện (các bit dữ liệu) sao cho các bit 1 và các bịt-0 tạo ra kết quả (tín hiệu ra) phù hợp VỚI logic Boole. Các sơ đồ đơn giản hóa minh họa các cách theo đó các mạch có thề mô phỏng các phép toán logic. Các bảhg đóng khung cho thấy kết quả khả dĩ của các tồ hợp đầu vào khác nhau. Còn gọi là Boolean logici