Vikipedio:Projekto matematiko/Logika nek
El Vikipedio
 |
Ĉi tiu artikolo montras stilajn aŭ/kaj gramatikajn aŭ/kaj strukturajn problemojn kaj bezonas poluradon por konformi al pli bona nivelo de kvalito. Post plibonigo movu la artikolon al Logika nek (eble la nomo mem bezonas korekton) Se la ligo estas ruĝa, vi povas movi la artikolon. Se la ligo estas blua, la alia artikolo pri la temo jam ekzistas kaj tiun kaj ĉi tiun artikolon necasas kunigi. |
La Logika nek aŭ artika neado estas bulea logika operatoro kiu produktas rezulta tio estas la inverso de logika aŭ. Tio estas, (ne aŭ), p nek q estas nur vera kiam neniu p nek q estas vera, kaj estas malvera alie.
La Malaŭo estas ankaŭ sciata kiel _Webb_-operacio aŭ _Peirce_ sago, nomis post Karlo _Peirce_ kiu demonstraciis (tiu, ke, kiu) (ĉiu, iu) logika operacio povas esti esprimita en (termoj, kondiĉoj, terminoj, termas, terminas) de logika Malaŭo. Tial, kiel kun NKA operatoro, Malaŭo povas esti uzita per sin, sen (ĉiu, iu) alia logika operatoro, al konsistigi logika formala sistemo.
Enhavo |
[redaktu] Difino
Komuna (meznombroj, meznombras, signifas) de skribanta p Malaŭo q estas 
, kie la simbolo + signifas _OR_ kaj la linio super la esprimo signifas ne, la logika nego de (tiu, ke, kiu) esprimo
La du-(enigo, enigi) logika Malaŭo estas kutime priskribita per vertabelo, priskribanta la (eligi, eligo) (ŝtato, stato, stati) por ĉiuj ebla (enigo, enigi) (kombinaĵoj, kombinaĵas):
| A | B | A nek B |
|---|---|---|
| F | F | T |
| F | T | F |
| T | F | F |
| T | T | F |
[redaktu] Artika Neado
Malaŭo havas la (interezanta, interesanta) esprimilo (tiu, ke, kiu) ĉiuj aliaj logikaj operatoroj povas esti esprimita per diversaj funkcioj de nek.
| "ne p" estas ekvivalento al "p Malaŭo p" |  |
| "p kaj q" estas ekvivalento al "(p Malaŭo p) Malaŭo (q Malaŭo q)" |  |
| "p aŭ q" estas ekvivalento al "(p Malaŭo q) Malaŭo (p Malaŭo q)" |  |
| "p (implicas, enhavas) q" estas ekvivalento al "((p Malaŭo q) Malaŭo q) Malaŭo ((p Malaŭo q) Malaŭo q)" |  |
La logika _nand_ operatoro ankaŭ havas ĉi tiu ebleco al (ekspreso, esprimi) ĉiuj logikaj operacioj.
La komputilo uzita en la kosma flugaparato (tiu, ke, kiu) unua portis (homoj, homas) al la luno, la Apolona Gvidada Komputilo, estis konstruita tute uzanta Malaŭo (pordoj, pordas, pordegoj, pordegas) kun tri (enigoj, enigas).
[redaktu] Simbolo
La matematika simbolo por logika nek (varias, ŝanĝiĝas) en la literaturo. Aldone al la mallongigo "nek", unu (majo, povas) vidi
- _vee_ tio estas aliigita en iu vojo, kiel estante superstrekis ("∨</tiparo>", aŭ &#_x22BD_;); ĉi tiu estas uzita ĉar logika nek estas nego de ordinara (inkluziva) (kajaŭo, disjunkcio), kiu estas tipe signifita per _vee_ ("∨").
[redaktu] Vidi ankaŭ:
- KAJ
- _OR_
- NKAJ
- _XOR_
