Operasyon lojik Senp nan òdinatè

Nenpòt ki moun ki kòmanse etidye syans òdinatè, anseye binè sistèm lan kantite. Li se sèvi ak kalkile operasyon yo lojik. Konsidere bagay sa tout pi primè operasyon yo yo ki lojik nan syans òdinatè. Apre yo tout, si ou panse sou li, yo itilize yo kreye lojik nan òdinatè ak aparèy.

refi

Anvan ou kòmanse yo konsidere an detay egzanp yo espesifik lis debaz operasyon yo lojik nan yon òdinatè:

• refi;
• de sa;
• miltiplikasyon;
• swiv;
• egalite.

Epitou, anvan yo kòmanse etid la nan operasyon lojik sa a vle di ke nan Syans enfòmatik manti deziyen "0", men sa a verite a "1".

Pou chak aksyon, tankou nan matematik nòmal, siy sa yo nan operasyon lojik yo itilize nan syans òdinatè: ¬, v, &, ->.

Chak aksyon posib yo dekri nenpòt nimewo 1/0, oswa jis ekspresyon lojik. Pou kòmanse konsiderasyon nan lojik matematik ak yon operasyon ki senp lè l sèvi avèk sèlman yon sèl varyab.

Lojik negasyon - entèrvèrsyon operasyon. Liy anba la se ke si ekspresyon inisyal la - verite a, rezilta a entèrvèrsyon se - yon manti. Kontrèman, si ekspresyon an premye - yon manti, lè sa a rezilta a pral yon entèrvèrsyon - verite a.

Lè w ap ekri ekspresyon sa a nou itilize notasyon ki anba la a "¬A".

Nou bay tab verite - yon kous ki montre tout rezilta yo posib pou operasyon pou nenpòt done sous.

Sa se, si nou gen ekspresyon orijinal la - vre (1), Lè sa a, negasyon li yo se fo (0). Men, si premye ekspresyon a - fo (0), lè sa a negasyon li yo - vre (1).

de sa

operasyon ki rete mande pou de varyab. Don youn ekspresyon - Yon dezyèm - B. operasyon lojik nan òdinatè indican de sa operasyon (oswa disjonksyon), oswa lè li ap ekri deziyen pa pawòl Bondye a "oswa", oswa ki make "v". Ekri soti opsyon posib pou done ak rezilta yo nan kalkil.

1. E = 1, n = 1, lè sa a E v n = 1. Si de ekspresyon yo se verite, lè sa a disjonksyon yo se verite tou.
2. E = 0, n = 1, evantyèlman E v = H 1 E = 1, = 0 H, Lè sa a, E v N = 1. Si Omwen youn nan ekspresyon yo se vre, Lè sa a, rezilta a nan de sa yo se verite.
3. E = 0, = 0 H, rezilta a se E v = 0. Si tou de ekspresyon yo se fo, lè sa a sòm yo se tou H - yon manti.

Pou konsizyon, nou kreye yon tab verite a.

miltiplikasyon

Èske w gen te fè fas ak operasyon an de sa, ale nan miltiplikasyon (konjonksyon). Nou itilize senbòl yo menm, ki te bay pi wo a pou adisyon. Lè w ap ekri yon miltiplikasyon lojik se deziye pa "&" senbòl la oswa lèt la "Mwen".

1. E = 1, n = 1, lè sa a E & H = 1. Si de ekspresyon yo se verite, lè sa a ansanm yo - vre.
2. Si omwen youn nan ekspresyon yo - yon manti, lè sa a rezilta a nan miltiplikasyon an ki lojik se tou yon manti.

• E = 1, N = 0, se konsa E & = 0 H.
• E = 0, n = 1, Lè sa a, E & = 0 H.
• E = 0, = 0 H, yon total de E & = 0 H.

rezilta

lojik operasyon Sekans an (enplikasyon) - nan youn nan pi senp lojik nan matematik. Li se ki baze sou yon aksyòm sèl - nan verite a pa ka swiv yon manti.

1. E = 1, N =, se konsa E -> N = 1. Si yon koup se nan renmen, lè sa a yo ka bo - verite a.
2. E = 0, n = 1, Lè sa a, E -> N = 1. Si yon pè pa kraze yo, yo ka bo - pouvwa tou dwe vre.
3. E = 0, = 0 H, sa a E -> N = 1. Si pè a se pa nan renmen, lè sa a yo pa bo - se tou vre.
4. E = 1, n = 0, rezilta a se E -> N = 0. Si renmen an pè, yo pa bo - manti.

Pou fasilite ekzekisyon an nan operasyon matematik kòm nou prezante tab verite a.

egalite

pral operasyon an dènye a dwe konsidere kòm yon egalite idantite lojik oswa ekivalans. Nan tèks la, li ka refere yo kòm "... si e sèlman si ...". Baze sou sa a fòmilasyon, nou ekri tout egzanp pou kòmanse sa a.

1. A = 1, B = 1, lè sa a A≡V = 1. Moun nan bwè tablèt si e sèlman si malad. (Vrè)
2. A = 0, B = 0, kòm yon rezilta A≡V = 1. Moun pa kapab bwè tablèt, ak Lè sa a sèlman lè yo pa malad. (Vrè)
3. A = 1, B = 0, se konsa A≡V = 0. tablèt endividyèl bwè si e sèlman si pa gen okenn malad. (Fo)
4. A = 0, B = 1, lè sa a A≡V = 0. tablèt endividyèl oswa bwè si e sèlman si malad. (Fo)

pwopriyete

Se konsa, konsidere yon operasyon lojik senp nan syans òdinatè, nou ka kòmanse etidye kèk nan pwopriyete yo. Kòm nan matematik, operasyon lojik egziste nan pwosesis lòd li yo. Nan operasyon gwo ekspresyon ki lojik nan parantèz yo fèt an premye. Apre sa, premye bagay la nou konte tout valè yo nan egzanp lan nan refi. Pwochen etap la se kalkil la nan konjonksyon a, lè sa disjonksyon la. Se sèlman lè sa pote soti nan operasyon an ankèt, e finalman, ekivalans la. Konsidere yon ti egzanp pou clarté.

Yon v B & ¬V -> Nan ≡ Yon

Pwosedi a pou fè aksyon sa yo.

1. ¬V
2. Nan & (¬V)
3. Yon v (V & (¬V))
4. (A v (B & (¬V))) -> B
5. ((A v (V & (¬V))) -> B) ≡A

Yo nan lòd yo rezoud egzanp sa a, nou ap bezwen bati yon tab verite agrandi. Lè li te kreye, sonje ke kolòn yo yo pi bon mete yo nan lòd la menm nan ki pral te pote soti ak aksyon.

Jan nou kapab wè, rezilta a nan solisyon an echantiyon yo pral kolòn an dènye. te Tablo ki verite te ede rezoud pwoblèm nan ak nenpòt done sous posib.

konklizyon

Nan atik sa a mwen te diskite kèk nan konsèp yo nan lojik matematik, tankou syans òdinatè, pwopriyete yo nan operasyon lojik, ak - ki sa ki operasyon yo lojik sou kont yo. Men kèk egzanp ki senp yo te bay pou solisyon an nan pwoblèm nan lojik ak verite tab matematik senplifye pwosesis sa a.