หลักการกระจายตัวระบุว่ากฎการกระจายตัว ทางพีชคณิตนั้น ใช้ได้ในกรณีที่ทั้งการเชื่อมโยงเชิงตรรกะและการแยกเชิงตรรกะสามารถกระจายตัวซึ่งกันและกัน ได้

สำหรับข้อเสนอA , BและC ใดๆ ความสมมูลต่อไปนี้เป็นจริง:

${\displaystyle A\land (B\lor C)\iff (A\land B)\lor (A\land C)}$

${\displaystyle A\lor (B\land C)\iff (A\lor B)\land (A\lor C)}$

สามารถตรวจสอบกฎการกระจายได้โดยใช้ตารางค่าความจริง

สำหรับความเท่าเทียมกันตารางค่าความจริงมีดังนี้: ${\displaystyle A\land (B\lor C)\iff (A\land B)\lor (A\land C)}$

จากตารางจะเห็นว่าคอลัมน์สำหรับและเหมือนกัน ดังนั้น ความเท่าเทียมกันจึงถูกต้อง ${\displaystyle A\land (B\lor C)}$${\displaystyle (A\land B)\lor (A\land C)}$

สำหรับความเท่าเทียมกันตารางค่าความจริงมีดังนี้: ${\displaystyle A\lor (B\land C)\iff (A\lor B)\land (A\lor C)}$

จากตารางจะเห็นว่าคอลัมน์สำหรับและเหมือนกัน ดังนั้น ความเท่าเทียมกันจึงถูกต้อง ${\displaystyle A\lor (B\land C)}$${\displaystyle (A\lor B)\land (A\lor C)}$

หลักการกระจายตัวนั้นใช้ได้ในตรรกศาสตร์แบบคลาสสิกแต่ในตรรกศาสตร์ควอนตัมอาจใช้ได้ทั้งถูกต้องและไม่ถูกต้อง บทความเรื่อง " ตรรกศาสตร์เป็นเชิงประจักษ์หรือไม่? " กล่าวถึงกรณีที่ตรรกศาสตร์ควอนตัมเป็นตรรกศาสตร์เชิงประจักษ์ที่ถูกต้อง โดยอ้างว่าหลักการกระจายตัวนั้นไม่สอดคล้องกับการตีความปรากฏการณ์ควอนตัมที่ สมเหตุสมผล ^{[ 1 ]}