ในตรรกะแบบบูลตรรกะ nor หรือ การปฏิเสธแบบร่วม (อังกฤษ: joint denial) เป็นการดำเนินการทางตรรกะที่ผลผกผันกับตรรกะ or โดยที่ p nor q เป็นจริงได้ก็ต่อเมื่อทั้ง p และ q เป็น เท็จ
NOR Logic Gate
NOR รู้จักกันในอีกชื่อหนึ่งคือ Webb-operation หรือ Peirce arrow ซึ่งได้ชื่อตาม Charles Peirce ผู้พิสูจน์ว่าการดำเนินการทางตรรกะสามารถแสดงในรูปพจน์ของ NOR เหมือนกับ ตรรกะ NAND เราสามารถใช้ NOR เพียงตรรกะเดียว โดยไม่ใช้ตรรกะอื่นมาประกอบเป็นระบบตรรกะได้ (ใช้วิธี NOR functionally complete) หรือที่รู้จักกันในชื่อ Quine's dagger
ตารางค่าความจริง ของ p NOR q (หรือเขียนตาม p ⊥ q หรือ p ↓ q) เป็นดังนี้:
p
q
↓
T
T
F
T
F
F
F
T
F
F
F
T
แผนภาพเวนน์
แผนภาพเวนน์ของ "A nor B" (ในพื้นที่สีแดงค่าเป็นจริง)
เราสามารถเขียนแทน p NOR q ด้วย , โดยที่สัญลักษณ์ แทน OR และขีดบนแทนสัญลักษณ์นิเสธที่ตรรกะที่แสดงอยู่ภายใต้ ซึ่งเขียนโดยทั่วไปในรูป หรือเขียนแทน p NOR q ด้วย
การปฏิเสธแบบร่วม
NOR มีลักษณะที่น่าสนใจโดยตัวดำเนินการตรรกะอื่นๆสามารถแสดงในรูปแบบฟังก์ชันของ NOR
"not p" is equivalent to "p NOR p"
"p and q" สมมูลในรูป "(p NOR p) NOR (q NOR q)"
"p or q" สมมูลในรูป "(p NOR q) NOR (p NOR q)"
"p implies q" สมมูลในรูป "((p NOR q) NOR q) NOR ((p NOR q) NOR q)"
ตรรกศาสตร, ในตรรกะแบบบ, ตรรกะ, หร, การปฏ, เสธแบบร, วม, งกฤษ, joint, denial, เป, นการดำเน, นการทางตรรกะท, ผลผกผ, นก, บตรรกะ, โดยท, เป, นจร, งได, อเม, อท, และ, เป, เท, จnor, logic, gate, กก, นในอ, กช, อหน, งค, webb, operation, หร, peirce, arrow, งได, อตาม, charl. intrrkaaebbbul trrka nor hrux karptiesthaebbrwm xngkvs joint denial epnkardaeninkarthangtrrkathiphlphkphnkbtrrka or odythi p nor q epncringidktxemuxthng p aela q epn ethcNOR Logic Gate NOR ruckkninxikchuxhnungkhux Webb operation hrux Peirce arrow sungidchuxtam Charles Peirce phuphisucnwakardaeninkarthangtrrkasamarthaesdnginrupphcnkhxng NOR ehmuxnkb trrka NAND erasamarthich NOR ephiyngtrrkaediyw odyimichtrrkaxunmaprakxbepnrabbtrrkaid ichwithi NOR functionally complete hruxthiruckkninchux Quine s dagger enuxha 1 niyam 1 1 tarangkhakhwamcring 1 2 aephnphaphewnn 2 karptiesthaebbrwm 3 duephimniyam aekikhNORepnkardaeninkartrrkabnkhatrrkasxngkha thamitwdaeninkarthangtrrksastr 2 kha caidkha cring ktxemuxtwthukdaeninkarthngsxngepnethc inkrnixuncaihkhaepn ethc thamitwthukdaeninkarkhaidkhahnungepncringephiyngkhaediywhruxepncringthngkhu tarangkhakhwamcring aekikh tarangkhakhwamcring khxng p NOR q hruxekhiyntam p q hrux p q epndngni p q T T FT F FF T FF F Taephnphaphewnn aekikh aephnphaphewnnkhxng A nor B inphunthisiaedngkhaepncring erasamarthekhiynaethn p NOR q dwy p q displaystyle overline p lor q odythisylksn displaystyle lor aethn OR aelakhidbnaethnsylksnniesththitrrkathiaesdngxyuphayit sungekhiynodythwipinrup p q displaystyle neg p lor q hruxekhiynaethn p NOR q dwy p q displaystyle overline p q karptiesthaebbrwm aekikhNOR milksnathinasnicodytwdaeninkartrrkaxunsamarthaesdnginrupaebbfngkchnkhxng NOR not p is equivalent to p NOR p p p p displaystyle overline p equiv overline p p p and q smmulinrup p NOR p NOR q NOR q p q p p q q displaystyle p cdot q equiv overline overline p p overline q q p or q smmulinrup p NOR q NOR p NOR q p q p q p q displaystyle p q equiv overline overline p q overline p q p implies q smmulinrup p NOR q NOR q NOR p NOR q NOR q p q p q q p q q displaystyle p rightarrow q equiv overline overline overline p q q overline overline p q q trrka NAND mikhwamsamarthaesdngaethnidechnknduephim aekikhBitwise NOR phichkhnitaebbbul Boolean domain Boolean function Functional completeness NOR gate aekhlkhulsechingpraphcn Sole sufficient operator PlanetMath entry on Ampheck ekhathungcak https th wikipedia org w index php title NOR trrksastr amp oldid 8034624, wikipedia, วิกิ หนังสือ, หนังสือ, ห้องสมุด,
