บทความนี้แนะนำหลักการพื้นฐานของพีชคณิตบูลีน ซึ่งเป็นระบบคณิตศาสตร์สำหรับอุปกรณ์อิเล็กทรอนิกส์ดิจิทัล
พีชคณิตบูลีนเป็นวิธีทางคณิตศาสตร์แบบพิเศษสำหรับแสดงความสัมพันธ์ (เชิงตรรกะ) ระหว่างตัวแปร กรอบการทำงานแบบไบนารีของพีชคณิตบูลีนช่วยลดความซับซ้อนของการคำนวณทางคณิตศาสตร์ให้เหลือเพียงตรรกะจริง (1)/เท็จ (0) ซึ่งเป็นสิ่งจำเป็นสำหรับวิศวกรและโปรแกรมเมอร์
ตัวดำเนินการบูลีนใช้สำหรับการดำเนินการทางตรรกะกับค่าบูลีน เกตตรรกะเป็นอุปกรณ์หรือวงจรทางกายภาพที่ใช้สำหรับการดำเนินการบูลีนขั้นพื้นฐาน แต่ละเกตตรรกะจะดำเนินการเฉพาะตามตรรกะบูลีน
1. AND Gate: AND gate ทำหน้าที่ดำเนินการ AND โดยจะแสดงผล 1 เฉพาะเมื่ออินพุตทั้งสองตรงกัน
2. OR Gate: OR gate ทำหน้าที่ OR โดยจะแสดงผล 1 หากมีอินพุตอย่างน้อยหนึ่งตัว
3. NOT Gate: NOT gate ทำหน้าที่แทน NOT โดยจะกลับค่าอินพุต โดยเอาต์พุตจะเป็น 1 ถ้าอินพุตเป็น 0 และเอาต์พุตจะเป็น 0 ถ้าอินพุตเป็น 1
4. เกต NAND: เกต NAND เป็นอินเวอร์สของเกต AND โดยจะส่งออกค่า 0 เฉพาะเมื่ออินพุตทั้งสองเป็น 1 มิฉะนั้นจะส่งออกค่า 1
5. เกต NOR: เกต NOR เป็นอินเวอร์สของเกต OR โดยจะส่งออกค่าเป็น 0 หากมีอินพุตอย่างน้อยหนึ่งตัวเป็น 1 หากเป็นอย่างอื่นจะส่งออกค่าเป็น 1
6. เกต XOR: เกต XOR ทำหน้าที่ประมวลผล XOR โดยจะแสดงผลเป็น 1 หากอินพุตต่างกัน และแสดงผลเป็น 0 หากอินพุตเหมือนกัน
7. เกต XNOR: เกต XNOR เป็นฟังก์ชันผกผันของการดำเนินการ XOR โดยจะบอกว่าอินพุต 1 ตัวเป็น 0 หรือต่างกัน
กฎและทฤษฎีบทพื้นฐานของพีชคณิตบูลีนช่วยลดความซับซ้อนของนิพจน์ตรรกะและช่วยในการออกแบบวงจรดิจิทัล กฎและทฤษฎีบทหลักของพีชคณิตบูลีนมีดังนี้:
กฎการสับเปลี่ยนระบุว่าลำดับการรวมตัวแปรสองตัวโดยใช้ตัวดำเนินการ AND หรือ OR จะไม่ส่งผลต่อผลลัพธ์ กฎนี้ช่วยให้เราสามารถจัดเรียงพจน์ใหม่ได้โดยไม่เปลี่ยนแปลงผลลัพธ์
A⋅B = B⋅A
ตัวอย่างเช่น:
1⋅0 = 0⋅1 = 0
A + B = B + A
ตัวอย่างเช่น:
1 + 0 = 0 + 1 = 1
กฎความสัมพันธ์ระบุว่าเมื่อรวมตัวแปรตั้งแต่สามตัวขึ้นไปโดยใช้ตัวดำเนินการ AND หรือ OR การจัดกลุ่มตัวแปรจะไม่ส่งผลต่อผลลัพธ์ กฎนี้ช่วยให้เราจัดกลุ่มพจน์ใหม่ได้โดยไม่เปลี่ยนแปลงผลลัพธ์
A⋅(B⋅C) = (A⋅B)⋅C
ตัวอย่างเช่น:
1⋅(0⋅1) = (1⋅0)⋅1 = 0
A + (B + C) = (A + B) + C
ตัวอย่างเช่น:
1 + (0 + 1) = (1 + 0) + 1 = 1
กฎการแจกแจงอธิบายถึงการกระจายตัวของการดำเนินการ AND และ OR ระหว่างกัน คล้ายกับการกระจายตัวของการคูณระหว่างการบวกในเลขคณิต กฎนี้ช่วยให้สามารถแยกตัวประกอบนิพจน์บูลีนได้ คล้ายกับการแยกตัวประกอบนิพจน์พีชคณิต
A⋅(B + C) = (A⋅B) + (A⋅C)
ตัวอย่างเช่น:
1⋅(0 + 1) = (1⋅0) + (1⋅1) = 0 + 1 = 1
A + (B⋅C) = (A + B)⋅(A + C)
ตัวอย่างเช่น:
1 + (0⋅1) = (1 + 0)⋅(1 + 1) = 1⋅1 = 1
กฎเอกลักษณ์ระบุว่าตัวแปรใดๆ ที่ทำการ AND ด้วยค่า 1 หรือ OR ด้วยค่า 0 จะได้ผลลัพธ์เป็นตัวแปรเดียวกัน กฎนี้แสดงให้เห็นว่าองค์ประกอบเอกลักษณ์สำหรับการดำเนินการ AND และ OR คือ 1 และ 0 ตามลำดับ
A⋅1 = A
ตัวอย่างเช่น:
1⋅1 = 1
A + 0 = A
ตัวอย่างเช่น:
1 + 0 = 1
กฎส่วนเติมเต็มเกี่ยวข้องกับการปฏิเสธตัวแปร และเกิดขึ้นเมื่อตัวแปรถูกรวมเข้ากับส่วนเติมเต็มของตัวแปรนั้น (ตรงข้าม) กฎนี้ระบุว่าตัวแปรที่ทำการ AND กับส่วนเติมเต็มของตัวแปรนั้นจะมีค่าเท่ากับ 0 เสมอ และตัวแปรที่ทำการ OR กับส่วนเติมเต็มของตัวแปรนั้นจะมีค่าเท่ากับ 1 เสมอ
A⋅A' = 0
ตัวอย่างเช่น:
1⋅1' = 1⋅0 = 0
เอ+เอ' = 1
ตัวอย่างเช่น:
1 + 1' = 1 + 0 = 1
กฎของอินเวอร์สเป็นหลักการเฉพาะในพีชคณิตบูลีน ซึ่งระบุว่าส่วนเติมเต็มของส่วนเติมเต็มของตัวแปรใดๆ จะเท่ากับตัวแปรนั้นเอง
(A') = A
ตัวอย่างเช่น:
(1')' = (0)' = 1
ทฤษฎีบทของเดอมอร์แกนนำเสนอแนวทางในการลดความซับซ้อนของนิพจน์ด้วยการปฏิเสธ และมีประโยชน์มากในการออกแบบวงจรดิจิทัล
ทฤษฎีบทแรกของเดอ มอร์แกน: การปฏิเสธการดำเนินการ AND จะเท่ากับการดำเนินการ OR ของการปฏิเสธตัวดำเนินการ
(A⋅B)' = A' + B'
ตัวอย่างเช่น:
การแสดงออก: (1⋅0)'
ลดรูป: 1' + 0' = 0 + 1 = 1
ทฤษฎีบทที่สองของเดอ มอร์แกน: การปฏิเสธการดำเนินการ OR จะเท่ากับการดำเนินการ AND ของการปฏิเสธตัวดำเนินการ
(A+B)' = A'⋅B'
ตัวอย่างเช่น:
นิพจน์: (1 + 0)'
ลดรูป: 1'⋅0' = 0⋅1 = 0
มาแก้สมการบูลีนกัน:
(A ∧ B) ∨ (C ∧ (¬D))
ให้ A = B = 1, C = 0, D = 0
วิธีแก้: แทนที่นิพจน์ด้วยค่าที่กำหนดทีละส่วน
ดังนั้นคำตอบสุดท้ายสำหรับนิพจน์บูลีนที่กำหนดคือ 1
มาทำความเข้าใจกันโดยใช้ตารางความจริง สมมติว่า:
Y= (A ∧ B) ∨ (C ∧ (¬D))
แผนภาพวงจรตรรกะของตัวอย่างข้างต้น: