Lịch sử logic học
Augustus De Morgan và cuộc đổi mới logic học ở thế kỷ 19
Augustus De Morgan đưa vào vũ trụ thảo luận, tam đoạn luận với chữ "phần lớn" và logic quan hệ. Hai luật phủ định mang tên ông vốn đã được Ockham nêu từ trước.
Lịch sử logic học
Augustus De Morgan đưa vào vũ trụ thảo luận, tam đoạn luận với chữ "phần lớn" và logic quan hệ. Hai luật phủ định mang tên ông vốn đã được Ockham nêu từ trước.
Logic & máy tính
Luận văn thạc sĩ MIT 1937 của Shannon chỉ ra mạch rơ-le tính được bằng đại số Boole: nối tiếp là "và", song song là "hoặc" — nền thiết kế mọi con chip.