Логикалык операция. негизги логикалык амалдар

илим катары компьютер илим ыкмаларын жыйноо, уюштуруу жана маалыматтарды ар кандай орто кылымда иштеп баштайт иштелет. Кээ бир тарыхчылар алгачкы механикалык эсептегич ойлоп менен компьютер илими пайда башталышы, 17-кылымда тургузулган деп эсептешет да, көпчүлүк өнүккөн жашка менен шерик компьютер технологиясы. 20-кылымдын жаштан 40 жашка чейинки, биринчи эсептөө-жылдын башы менен, компьютер илими өнүктүрүүгө жаңы дем алды.

изилдөө Маалыматтык- аты

Бул биринчи эсептөө башы жаңы эсептөө толук дараметин мүмкүндүк берүүчү жаңы ири маалымат аппараттарын систематикасы, эсептөө жана кайра иштетүү ыкмалары, ошондой эле алгоритмдерди өнүктүрүүнү иштеп чыгуу зарыл болуп калды эле. Informatics көз карандысыз илимий тартипти статусун алган жана жалпы Эсептөөнү изилдеп математикалык эсептер учак көчүп кетишкен.

Бардык заманбап компьютер илими логикалык түрдө негизделген. Алар негизги бөлүгү деп атоого болот. программалоо, ЭЭМ тутумундагы же логика иш түшүнүк - бул жаңы түшүнүк же учурдагы түшүнүктөрдүн негизинде пайда болгон бир маани аткаргандан кийин түзүлгөн бир иш-аракет болуп саналат. Мындай иш-чаралардын комплекси буйруктарын ишке ашыруу үчүн иштеп элементке жараша өзгөрүп турушу мүмкүн. Бирок, иш жүзүндө иштеп жаткан бардык системалары үчүн жалпы бир нече иш бар. Бул иш, мындай баш тартуу сыяктуу мазмуну, өздөрүн жогору баалайт менен иштешет, же сандык мүнөздөмөсүн түшүнүктөрдү өзгөртүүгө ошол - бөлүп, кемите кошуу көбөйтөм.

логикалык амалдардын Operands

алгебра логика абстрактуу түшүнүктөрдүн боюнча иштерди билдирет, демек operands бардык логикалык амалдар жалпыланган маалымат түрлөрү болуп саналат. Классикалык элементтер, алгебра сөздөрү менен иштеп, жалган же чыныгы отчет болуп саналат. 1 (чыныгы) жана 0 (жалган) бул мааниде сыпаттап үчүн электроника жана программалоо чыныгы жана жалган же бүтүн Наркы логикалык Variables колдонулат. Бул баалуулуктар айкалыштырып, ал болушу мүмкүн укмуш эле, иш абдан татаал жана ири системасын байланган. электрондук же санариптик түзмөктө аткарылган бардык программа коду динамикалуу адамдардын жана нөлү бар бир катар салып которгон - ар кандай кайра иштетүү тарабынан иштелип чыгышы мүмкүн жалпы кодексинин.

логикалык түрлөрү

мурда, классикалык айтылгандай логикалык алгебранын , милдеттеринин 2 түрү бар. бинардык маалымат түрлөрү боюнча негизги логикалык амалдар - арыз өзү (иштебесе, же бир, операция) таасир иш-аракеттери болуп саналат. Бул, ошондой эле иштеп жаткан баалуулуктардын негизинде жаңы сөздөрдү пайда аракеттер (экилик иш, же эгиз) болуп саналат. кашаанын эске алуу менен, солдон кандайдыр бир математикалык эсептөөлөрдү аткарып жатканда логикалык тартиби сыяктуу эле.

Boolean логикасы милдетинин абдан белгилүү милдеттерди оъой жана бир баш тартуу болуп саналат. Бул жөнөкөй логика операция киргизүү коддон бир карама-каршы мааниси болуп саналат. электроника, бул иш-аракет кээде өзгөртүү деп аталат. Мисалы, карагат "чындык" текскерилетүү болсо, натыйжасы "жалган" болуп саналат. Жана тескерисинче - баалуулуктардын тескериси "жалган", "чындык" деген мааниге келет. Бул логикалык операция программалоо көп болгон натыйжалары же өзгөргөн шарттарда негизинде алгоритмдерди жана командалардын кийинки топтомун "тандоо" ишке ашырууну бутактуу үчүн колдонулат.

бинардык операция

ЭЭМ үчүн программаларды жана чектелген комплексин пайдаланууга бинардык (экилик) иш. Алар "эки" дегенди билдирет, латын сөздөрү Би алардын ысмын туруп, эки киргизүү аргументтерди алып бир жаңы наркынын натыйжа кайтып милдеттерин түрү болуп саналат. Логикалык алгебранын бардык милдеттерин сыпаттоо үчүн чындык, үстөлдөрүн колдонот.

Алар эмне керек

Бул система киргизүү operands белгилүү бир суммага түзүлгөн жана киргизүү параметрлерин белгиленген деди бир алдын ала логикалык ишин кайра баарын алып келген баалуулуктар, сүрөттөйт.

абдан көп колдонулган иш компьютер жана компьютер технологиялар логикалык толуктоо (Disjunction) жана логикалык көбөйтүү (бирдикте) болуп саналат.

биргеликте

логикалык операция "ЖАНА", - эки же н киргизүү operands азыраак тандап алуу милдети турат. бул милдетти кирген эки (экилик милдетти) болушу мүмкүн, үч баалуулуктар (пост), же operands (н-чыгышында операция) чектелбеген саны. милдетинин жыйынтыгын эсептөөдө ал берилген киргизүү баалуулуктарды кичине болот.

жөнөкөй Алгебранын окшоштук көбөйтүү милдети болуп саналат. Ошондуктан, бирдикте операция көбүнчө логикалык көбөйтүү болуп саналат. Качан милдети жазуу актыларда же көбөйтүү белгиси (пункту) же Амперсанд белгиси. Бул иш үчүн чындык үстөл жаса болсо, анда ал "чыныгы" же 1 коюлса, бардык киргизүү operands чындык менен көрүүгө болот. киргизүү параметрлерин, жок дегенде, бири нөлгө барабар болсо, же "жалган", иш жыйынтыгы, ошондой эле, "жалган" болуп калат.

Бул эсеп көбөйтүү менен салыштыруу чагылдырат: көбөйүү, жана кандайдыр бир катар номерлери тобун 0 натыйжасы катары ар дайым кайра 0. Бул логикалык операция commutative: ал киргизүү параметрлерин кабыл ушундай тартип эсептөө акыркы натыйжага таасир этпейт.

Бул иш дагы бир өзгөчөлүгү associativity, же associativity болуп саналат. Бул мүлк иш бинардык кезек эсептөө баалоонун тартибин эске албайт берет. Ошондуктан, 3 же андан көп жолу катары менен логикалык көбөйтүү иштери үчүн кичине эске алуу зарыл эмес. Программалоо, бул милдетти көп учурда белгилүү бир шарттардын топтому гана аткарылат атайын буйрук экенине ынануу үчүн колдонулат.

Disjunction

логикалык операция "OR", - алгебралык тышкары окшош бир логикалык милдеттерин түрү. Бул иш үчүн башка аттары - логикалык кошумча, Disjunction. Ошо сыяктуу эле, логикалык көбөйтүү иштөөсүнүн, Disjunction (эки аргумент боюнча наркты эсептөө үчүн) бинардык болушу мүмкүн, Үчилтик же N-чыгышында жайгашкан.

Бул логикалык иштетүү үчүн чындык стол бирдикте үчүн атаандаш бир түрү болуп саналат. логикалык операция "OR" берилген далилдерди арасында мыкты натыйжага эсептейт. Disjunction чыгаруу баасын "жалган", башкача айтканда, 0 бардык киргизүү параметрлери баалуулуктар менен алганда 0 ( "жалган") кабыл алган. башка учурда чыгаруу наркы "чыныгы", же 1. Ушул милдетти көбүнчө кошумча математикалык белги колдонулат жазуу үчүн ( "плюс"), же эки тик сызыктар менен алынат. Эгер ачык-кошууну логикалык ишин бөлүп берет, анткени экинчи Variant көпчүлүк программалоо тилдеринин жана артык жайылган.

логикалык жалпы касиеттери

Негизги логика иштери, ал иштебесе, бинардык, Үчилтик же башка иш болобу, алардын жүрүм-турумун сүрөттөгөн бир топ мыйзам-эрежелеринин касиеттери тийиш. Жогоруда сүрөттөлгөн логикалык милдеттери бар бири негизги касиеттери commutative болуп саналат.

Бул өзгөчөлүк алмаштыруу иш-милдетин өзгөртүүгө эмес, коддон баалаары камсыз кылат. Эмес, бардык операторлор бул мүлккө ээ болот. commutativity талаптарын канааттандыруу каралат жана Disjunction айырмаланып, милдети Булакта көбөйтүү эмес, жана бул ишке себеп бүтөөр өзгөртүү натыйжага алып келет, ошондой эле Exponentiation.

дагы бир нерсе

Дагы бир маанилүү көп электроника жана схемотехникасын колдонулат өзгөчөлүгү, логикалык амалдар Де Морган мыйзамдардын жуп баш ийүүчүлүк болуп саналат.

Бул мыйзамдар жана башка колдонуу менен логикалык ишин билдирүү үчүн колдонулат логикалык тескериси милдетин, логикалык амалдардын жуптарды байлап. Мисалы, биргеликте тескериси милдети Disjunction Мындай атеизмдин өзүнчө operands тарабынан көрсөтүлүшү мүмкүн. Бул мыйзамдарды логикалык операция "ЖАНА" менен, "OR" жана vzaimovyrazheny минималдуу аппараттык наркы менен ишке ашырылышы мүмкүн. Эгер эсептөө жана микросхемалардын түзүүдө ресурстарын сактап калууга мүмкүндүк берет Бул өзгөчөлүк, райондук долбоордо өтө пайдалуу болуп саналат.