โดเมนแบบบูล

โดเมนแบบบูล (อังกฤษ: Boolean domain) ในทางคณิตศาสตร์และพีชคณิตนามธรรม คือเซตที่ประกอบด้วยสมาชิกสองตัวที่เป็นการตีความว่า เท็จ กับ จริง เท่านั้น ในทางตรรกศาสตร์ คณิตศาสตร์ และวิทยาการคอมพิวเตอร์เชิงทฤษฎี โดเมนแบบบูลมักจะเขียนเป็น {0, 1},[1][2][3] {false, true}, {F, T},[4] หรือ { ⊥ , ⊤ } {\displaystyle \left\{\bot ,\top \right\}} [5]โครงสร้างเชิงพีชคณิตที่สร้างขึ้นบนโดเมนแบบบูลตามธรรมชาติคือพีชคณิตแบบบูลบนสมาชิกสองตัว (two-element Boolean algebra) วัตถุเริ่มต้นในแคทิกอรีของแลตทิซมีขอบเขตคือโดเมนแบบบูลในทางวิทยาการคอมพิวเตอร์ ตัวแปรแบบบูล (Boolean variable) คือตัวแปรที่เก็บค่าเป็นสมาชิกจากโดเมนแบบบูล ภาษาโปรแกรมบางภาษามีคำหรือสัญลักษณ์ที่สงวนไว้สำหรับสมาชิกในโดเมนแบบบูล เช่น false กับ true อย่างไรก็ดี ภาษาโปรแกรมหลาย ๆ ภาษาก็ไม่ได้มีชนิดข้อมูลแบบบูลโดยเฉพาะ เช่นภาษาซีหรือภาษาเบสิก ค่าเท็จแทนด้วยจำนวน 0 และค่าจริงแทนด้วยจำนวน 1 หรือ −1 ตามลำดับภาษา เป็นต้น และตัวแปรทั้งหมดที่เก็บค่าเหล่านี้ก็สามารถเก็บจำนวนอื่น ๆ ได้อีกเช่นกัน

ใกล้เคียง

โดเมน โดเมนีโก กีร์ลันดาโย โดเมนีโก เบราร์ดี โดเมนีโก ซาวีโอ โดเมนระดับบนสุดตามรหัสประเทศ โดเมนระดับบนสุด โดเมนีกีโน โดเมน (ฟังก์ชัน) โดเมนระดับบนสุดตามหมวด โดเมนยูคาริโอต