เครื่องคำนวณพีชคณิตบูลีน

พีชคณิตบูลีนเกี่ยวข้องกับตัวแปรที่สามารถมีได้เพียงสองค่า: จริง (1) หรือเท็จ (0)

การดำเนินการ AND (A • B หรือ A * B): ผลลัพธ์จะเป็นจริงก็ต่อเมื่ออินพุตทั้งสองเป็นจริง

การดำเนินการ OR (A + B): ผลลัพธ์จะเป็นจริงหากมีอินพุตอย่างน้อยหนึ่งตัวเป็นจริง

การดำเนินการ NOT (¬A หรือ ~A): สลับค่าอินพุต

การดำเนินการ XOR (A ⊕ B): ผลลัพธ์จะเป็นจริงหากอินพุตต่างกัน

NAND คือส่วนเติมเต็มของ AND: NOT(AND(A, B))

NOR คือส่วนเติมเต็มของ OR: NOT(OR(A, B))

XNOR คือส่วนเติมเต็มของ XOR: NOT(XOR(A, B))

ตารางค่าความจริงแสดงชุดค่าผสมอินพุตที่เป็นไปได้ทั้งหมดและเอาต์พุตที่สอดคล้องกัน

นิพจน์บูลีนสามารถลดรูปได้โดยใช้กฎพีชคณิตและแผนที่คาร์โนห์

กฎของเดอมอร์แกน: ¬(A • B) = ¬A + ¬B และ ¬(A + B) = ¬A • ¬B

กฎการดูดซับ: A + (A • B) = A และ A • (A + B) = A