ҮүсэхШинжлэх ухаан

Тэнцүү Хүснэгт, эквивалент үйл ажиллагааны асуудлыг логик шийдэл жишээ

Өнөөдөр бид логик үйл ажиллагааны талаар ярилцах санал болгож байна. Энд, энэ нь бидний гол асуудал юм оноос хойш тэнцүү нь хүснэгт юм.

Бүүлийн алгебрт, дүрэм, үнэн хүснэгтийг цээжлэх хэрэгтэй биш үү, энэ үйл ажиллагаа, та нарт танилцуулсан байгаа энгийн ойлголт хангалттай байх болно.

логик

хүснэгтийн тэнцүү асуудал нэн тэргүүний зорилт гэдгийг хэдий ч, бид хамгийн Бүүлийн алгебрт тухай хэдэн үг хэлэх болно. Дээр дурьдсанчлан, үнэн хүснэгт хэрхэн үржүүлэх хүснэгт сурах нь чухал биш юм. Орос хэлний жишээ өгч болох үйл ажиллагааны мөн чанарыг ойлгохын тулд. Энэ нь хачирхалтай мэт санагдаж болох ч энэ арга нь үнэхээр саад даван туулахын тулд олон туслах сонирхолтой дасгал тооцоо логик асуудлыг эргэж байгаа юм. Өнөөдөр та энэ аргыг хэрхэн ажилладгийг харж болно.

Би яагаад логик хэрэгтэй вэ? Энэ нь шинжлэх ухаан, ялангуяа өнөө үед маш чухал юм. Бидний өдөр тутам хэрэглэдэг бараг бүх дижитал төхөөрөмжүүд, логик үйл ажиллагаанд үндэслэсэн. Та техникийн тал нөлөөлөхгүй ч гэсэн, та ярих хэрхэн анхаарал тавьж байна. ес дэх давхраас нисдэг түүнчлэн логик хуулийг дагах хэрэгтэй мэдээлэл таны санал доош бөмбөг физикийн хуулиудыг даган мөрддөг.

үйл ажиллагаа

Бүүлийн алгебр нь хэд хэдэн үндсэн чиг үүрэг (үгүйсгэхэд, үржүүлэх, нэмэх, улмаар эквивалент) олгодог.

нарийн төвөгтэй логик илэрхийлэх байдал зэрэг нь тэдний зөв тодорхойлолтыг санаж "үржүүлэх" буюу "нэмэлт" гэж нэр томъёог агуулсан биш гэдгийг анхаарна уу. Үгүйсгэхэд Урвуу цаг гэж нэрлэдэг. disjunction - Бүүлийн алгебрт үржүүлэх нь Холбоос гэж нэрлэдэг бөгөөд нэмэлт. логик үр дагавар - үр нөлөө юм. Дүйцэх заримдаа харилцан гэж нэрлэдэг байна.

шийдэхийн тулд логик асуудал Хэрэв та зүгээр л эдгээр чиг үүргийг үнэн хүснэгтийг мэдэх хэрэгтэй. Харин бид үүнийг сурч чадахгүй байгаа, ойлгоход гэж хэлсэн байна. Энэ нь ихээхэн таны цаг зардлыг бууруулах болно. Бид эквивалент ширээн дээр энэ аргын оролдлого юм. -ийн яг одоо эхэлье.

эквивалент

логик функц, аль аль нь ирж байгаа илэрхийллүүд тэнцүү байдаг л бол, мөн энэ нь эквивалент нь үнэн юм. Чиг үүрэг ширээний доор үзүүлсэн болно, хоёр газар логик үйл ажиллагаа юм. Графикаар, энэ нь хоёр талын сум, эсвэл гурван хэвтээ боломжуудыг аль нэг гэсэн үг юм. тэмдэг нь хоёр энгийн илэрхийлэл хуваалцах ёстой.

Бид тэргүүлэх үүргийг авч үзвэл, энэ логик үйл ажиллагаа зургаа дахь газар, бусад бүх ард байна. Доорх тэнцүү нь хүснэгт юм.

Эхний илэрхийллийг оруулах

Хоёр дахь илэрхийллийг оруулах

эквивалент

-

-

+

-

+

-

+

-

-

+

+

+

үнэн хүснэгт хэд хэдэн аргаар дүүрэн байж болно гэдгийг анхаарна уу. "+", "1", эсвэл "Би:" Үнэн илэрхийлэл гэж бичиж болно. Хуурамч - "-", "0" эсвэл "L".

Бид амласан бид орос хэл дээр энэхүү логик үйл ажиллагааг тайлбарлах. Үзэл бодлоо илэрхийлэх дараах тохиолдолд үнэн байх болно:

  • Эхний энгийн илэрхийлэл - энэ нь хоёр дахь нь үзэл бодлоо илэрхийлэх (илэрхийлэл - нь өгүүлбэр) -ийн адил юм;
  • Энэ нь хоёр дахь (Их Британи дахь манай боловсролын үүсэх тэнцэх) -ийн анхны үзэл бодлоо чөлөөтэй илэрхийлэх тэнцүү байна;
  • хоёр дахь (Би ахлах сургуулиа төгсөөд их дээд сургууль, зөвхөн бол хийж болно) газар байдаг ба зөвхөн бол нэг тоогоор илэрхийлэх боломжтой юм.

жишээ нь

Одоо практикт тэнцүү үнэн хүснэгтийг ашиглаад үзээрэй. Энэ нь хоёр илэрхийллүүд нь доор үзүүлсэн ижил гэдгийг нотлох шаардлагатай юм:

  • 1 илэрхийлэл илэрхийлэх 2 тэнцэж,
  • (He2 + 1) * (HE1 + 2).

Үүнийг хийхийн тулд эдгээр тайлан нь үнэн хүснэгтийг дээр зур. Эхний хувьд, бид бид өмнөх хэсэгт байгаа юм шиг хийж чадахгүй болно.

Илэрхийлэлд жишээ Нэгдүгээрт, нэг хэсэг

үзэл бодлоо илэрхийлэх жишээний хоёр дахь хэсэг нь

Хоёр дахь үзэл бодлоо илэрхийлэх эрх угуйсгэж (1)

хаалтад хэмжээ (2)

Үзэл бодлоо илэрхийлэх Эхний угуйсгэж (3)

хаалтад хэмжээ (4)

үйл ажиллагааны 2 болон 4 үржүүлэх үр дүн

-

-

+

+

+

+

+

-

+

-

-

+

+

-

+

-

+

+

-

-

-

+

+

-

+

-

+

+

сүүлийн баганад байгаа сүүлийн үеийн үр дүн нь адил байх ёстой тул, илэрхийллүүд тэнцүү анхаарна уу.

Similar articles

 

 

 

 

Trending Now

 

 

 

 

Newest

Copyright © 2018 mn.atomiyme.com. Theme powered by WordPress.