NOR (ตรรกศาสตร์)

ในตรรกะแบบบูล ตรรกะ nor หรือ การปฏิเสธแบบร่วม () เป็นการดำเนินการทางตรรกะที่ผลผกผันกับตรรกะ or โดยที่ p nor q เป็นจริงได้ก็ต่อเมื่อทั้ง p และ q เป็น เท็จ

NOR รู้จักกันในอีกชื่อหนึ่งคือ Webb-operation หรือ Peirce arrow ซึ่งได้ชื่อตาม Charles Peirce ผู้พิสูจน์ว่าการดำเนินการทางตรรกะสามารถแสดงในรูปพจน์ของ NOR เหมือนกับ ตรรกะ NAND เราสามารถใช้ NOR เพียงตรรกะเดียว โดยไม่ใช้ตรรกะอื่นมาประกอบเป็นระบบตรรกะได้ (ใช้วิธี NOR functionally complete) หรือที่รู้จักกันในชื่อ Quine's dagger

นิยาม 
NORเป็นการดำเนินการตรรกะบนค่าตรรกะสองค่า ถ้ามีตัวดำเนินการทางตรรกศาสตร์ 2 ค่า จะใด้ค่า จริง ก็ต่อเมื่อตัวถูกดำเนินการทั้งสองเป็นเท็จ ในกรณีอื่นๆจะให้ค่าเป็น เท็จ ถ้ามีตัวถูกดำเนินการค่าใดค่าหนึ่งเป็นจริงเพียงค่าเดียวหรือเป็นจริงทั้งคู่

ตารางค่าความจริง 
ตารางค่าความจริง ของ p NOR q (หรือเขียนตาม p ⊥ q หรือ p ↓ q) เป็นดังนี้:

แผนภาพเวนน์ 
แผนภาพเวนน์ของ "A nor B" (ในพื้นที่สีแดงค่าเป็นจริง)

เราสามารถเขียนแทน p NOR q ด้วย , โดยที่สัญลักษณ์  แทน OR และขีดบนแทนสัญลักษณ์นิเสธที่ตรรกะที่แสดงอยู่ภายใต้ ซึ่งเขียนโดยทั่วไปในรูป หรือเขียนแทน p NOR q ด้วย

การปฏิเสธแบบร่วม 
NOR มีลักษณะที่น่าสนใจโดยตัวดำเนินการตรรกะอื่นๆสามารถแสดงในรูปแบบฟังก์ชันของ NOR

ตรรกะ NAND มีความสามารถแสดงแทนได้เช่นกัน

ดูเพิ่ม 

 Bitwise NOR
 พีชคณิตแบบบูล
 Boolean domain
 Boolean function

 Functional completeness
 NOR gate
 แคลคูลัสเชิงประพจน์
 Sole sufficient operator

 PlanetMath entry on "Ampheck" 

ตรรกศาสตร์

es:Puerta lógica#Puerta NO-O (NOR)
it:Algebra di Boole#OR