ตรรกศาสตร์คลุมเครือ
ตรรกศาสตร์คลุมเครือนั้น สามารถระบุค่าความเป็นสมาชิกของเซต (set membership values) ด้วยค่าระหว่าง 0 และ 1 ทำให้เกิดระดับกึ่งในลักษณะของ สีเทา นอกจาก ขาว และ ดำ ซึ่งมีประโยชน์ในการจำลองระดับซึ่งสามารถระบุด้วยคำพูด "เล็กน้อย" "ค่อนข้าง" "มาก" โดยใช้ค่าความเป็นสมาชิกของเซตบางส่วน ตรรกศาสตร์คลุมเครือนี้มีความสัมพันธ์กับ เซตวิภัชนัย (en:fuzzy set) และ ทฤษฎีความเป็นไปได้ (en:possibility theory) ซึ่งคิดค้นขึ้นในปี ค.ศ. 1965 โดยศาสตราจารย์ ลอตฟี ซาเดห์ แห่งมหาวิทยาลัยแห่งรัฐแคลิฟอร์เนีย เบิร์กลีย์
จอร์จ บูล
จอร์จ บูล () เป็นนักคณิตศาสตร์ชาวอังกฤษ ผลงานสำคัญคือการคิดพีชคณิตแบบบูลขึ้น อันเป็นรากฐานสำคัญของ ตรรกศาสตร์ และวงจรดิจิตอล
จอร์จ บูล นักคณิตศาสตร์ชาวอังกฤษ ที่มหาวิทยาลัย College Cork ผู้ที่นิยามพีชคณิตดังกล่าวขึ้นมาเพื่อเป็นส่วนหนึ่งของระบบทางตรรกศาสตร์ในกลางคริสต์ศตวรรษที่ 19 พีชคณิตแบบบูลนำเทคนิคทางพีชคณิตมาใช้กับนิพจน์ในตรรกศาสตร์เชิงประพจน์ ในปัจจุบันพีชคณิตแบบบูลได้ถูกนำไปประยุกต์อย่างแพร่หลายในการออกแบบทางอิเล็กทรอนิกส์ ผู้ที่นำไปใช้คนแรกคือคลาวด์ อี. แชนนอน นักวิทยาศาสตร์แห่งห้องทดลองเบลล์ (Bell Laboratory) ในคริสต์ศตวรรษที่ 20 โดยนำมาใช้ในการวิเคราะห์วงจรเน็ตเวิร์กที่ทำงานต่อกันหลาย ๆ ภาค เช่น วงจรของโทรศัพท์ เป็นต้น เมื่อมีการพัฒนาวงจร คอมพิวเตอร์ขึ้นก็ได้มีการนำเอาพีชคณิตบูลีนมาใช้ในการคำนวณ ออกแบบ และอธิบายสภาวะการทำงานของสถานะวงจรภายในระบบคอมพิวเตอร์ โดยพีชคณิตบูลีนเป็นพื้นฐานสำคัญในการออกแบบวงจรตรรกของระบบดิจิตอล