የ ምክንያታዊ ክዋኔ. መሠረታዊ ሎጂክ ክወናዎችን

እንደ ሳይንስ የኮምፒውተር ሳይንስ ዘዴዎች መሰብሰብ ምክንያት, ማደራጀት እና የውሂብ የተለያዩ አጋማሽ በሃያኛው ክፍለ ዘመን ውስጥ መገንባት ይጀምራል ማስኬድ. አንዳንድ የታሪክ የኮምፒውተር ሳይንስ ምስረታ መጀመሪያ የመጀመሪያ ሜካኒካዊ ካልኩሌተር ግኝት ጋር, በ 17 ኛው ክፍለ ዘመን ውስጥ አኖሩት እንደሆነ የሚያምኑ ቢሆንም, አብዛኞቹ ይበልጥ የላቀ ዕድሜ ጋር ማጎዳኘት የኮምፒውተር ቴክኖሎጂ. በ 20 ኛው መቶ ዘመን 40s ውስጥ የመጀመሪያው ኮምፒውተሮች መፈልሰፍ ጋር, ኮምፒውተር ሳይንስ ልማት አዲስ የተስፋፋው አድርጓል.

ጥናት ኢንፎርማቲክስ ርዕሰ ጉዳይ

የመጀመሪያው ኮምፒውተሮች መፈልሰፍ አዳዲስ ኮምፒውተሮች ሙሉ እምቅ መፍቀድ የሚችል አዲስ systematization, ስሌት እና ትልቅ ውሂብ ስብስቦች መካከል ሂደት ዘዴዎች, እንዲሁም በ ስልተ ልማት መገንባት አስፈላጊ ሆኗል ጋር ነበረ. ኢንፎርማቲክስ አንድ ገለልተኛ የሳይንሳዊ ተግሣጽ ሁኔታ ተቀብለዋል, እና በአጠቃላይ ስሌት ማጥናት የሒሳብ ስሌቶችን መካከል አውሮፕላን ውጭ ተንቀሳቅሷል.

ሁሉም ዘመናዊ ኮምፒውተር ሳይንስ ምክንያታዊ ቀዶ ላይ የተመሠረተ ነው. እነዚህ መሠረታዊ አካል ተብሎ ሊጠራ ይችላል. ፕሮግራም ውስጥ, የኮምፒውተር ስርዓቶች ሎጂክ የክወና ጽንሰ - አንድ አዲስ ሐሳብ ወይም ነባር ጽንሰ መሠረት የተቋቋመው እሴት በማከናወን በኋላ የመነጨ ነው ይህም አንድ እርምጃ ነው. እንዲህ ያሉ እርምጃዎች አንድ ስብስብ ትዕዛዞችን ለማስፈጸም የአንጎለ አባል ላይ ሊለያይ ይችላል. ሆኖም ግን, ማለት ይቻላል, ሁሉም ነባር ስርዓቶች የጋራ የሆኑ አንዳንድ ክወናዎች አሉ. ይዘት ጋር ለመስራት ይህ ክወና, እንደ መካድ, ራሳቸውን ከፍ አድርጎ ይመለከተዋል, ወይም የመጠን ግምት ጽንሰ መቀየር ሰዎች -, መከፋፈል, ለመደመር, ማባዛት, ያክሉ.

ምክንያታዊ ስራዎች Operands

የ አልጀብራ አመክንዮ ረቂቅ ከነበራቸው አመለካከት ላይ ሥራ ማለት በመሆኑ, ከዚያም operands ሁሉ ምክንያታዊ ቀዶ ያለውን አጠቃላይ የውሂብ አይነቶች ናቸው. ክላሲካል ክፍሎች, አልጄብራ መግለጫዎች ጋር ይሰራል ሐሰት ወይም እውነተኛ መግለጫዎች ናቸው. እነዚህ ቃላት መግለጫ የ የኤሌክትሮኒክስ እና ፕሮግራሚንግ ቡሊያን ተለዋዋጮች 1 (እውነት) እና 0 (ሐሰት) መካከል እውነተኛና ሐሰተኛ ወይም ኢንቲጀር ዋጋ ስራ ላይ ይውላል. ቢመስልም እንደ የማይታመን ሆኖ እነዚህን እሴቶች ጥምር ላይ,, ሥራ በጣም ውስብስብ እና መጠነ ሰፊ የሆኑ ሥርዓቶችን የተሳሰረ ነው. ማንኛውም ሂደት በ ሊሰራ የሚችል ሁለንተናዊ ኮድ - ኮምፒውተር ወይም በማንኛውም ዲጂታል መሳሪያ ላይ የሚያስፈጽምበትን ሁሉም ፕሮግራም ኮድ ልውጥውጥ ሰዎች እና ዜሮዎችን ከተከታታይ ወደ ይተረጉመዋል.

ምክንያታዊ ክወናዎች አይነቶች

ቀደም ሲል, ጥንታዊ ላይ እንደተጠቀሰው ቡሊያን አልጀብራ , ተግባር 2 አይነቶች አሉ. ሁለትዮሽ ውሂብ አይነቶች ላይ ዋናው ሎጂካዊ ቀዶ - መግለጫ በራሱ (unary, ወይም ነጠላ, ክወና) ተጽዕኖ እርምጃዎች ናቸው. ይህ ደግሞ ነባር እሴቶች መሠረት አዲስ መግለጫዎች (ሁለትዮሽ ስራዎች, ወይም መንታ) ለማመንጨት እንደሆነ ክወናዎችን ነው. ሎጂካዊ ቀዶ ቅደም ተከተል ወደ ቅንፍ አንጻር, ከግራ ወደ ቀኝ ማንኛውም የሂሳብ ስሌቶች እየፈጸሙ ጊዜ ጋር ተመሳሳይ ነው.

ቀላሉ እና ቡሊያን ሎጂክ ተግባር በጣም ታዋቂ ተግባራት መካከል አንዱ መከልከል ነው. ይህ ቀላል አመክንዮ ክወና የግቤት operand አንድ ተቃራኒ ዋጋ ነው. የኤሌክትሮኒክስ ውስጥ, ይህ እርምጃ አንዳንድ ጊዜ አንድ ግልበጣ ተብሎ ነው. እርስዎ ሃሳብ ለማራገፍና "እውነት" ለምሳሌ ያህል, ውጤቱ "ሐሰት" ነው. በግልባጩ - እሴቶች መካከል ያለውን አፍራሽ "ሐሰት" "እውነተኛ" አንድ ዋጋ ያስከትላል. ይህ ምክንያታዊ ክወና ፕሮግራም ብዙውን ጊዜ ስልተ እና ነባር ውጤት ወይም ተቀይሯል ሁኔታዎች መሠረት ላይ ትእዛዛት አንድ ተከታታይ ስብስብ በ "ምርጫ" ትግበራ ቅርንጫፎቻቸውን የሚውል ነው.

ሁለትዮሽ ክዋኔ

እና የኮምፒውተር ፕሮግራም ውስጥ የተወሰነ ስብስብ ለመጠቀም ሁለትዮሽ (ሁለትዮሽ) ክወናዎችን. እነዚህ ሰዎች "ሁለት" ትርጉም, የላቲን ቃላት bi ከ ስማቸውን አግኝቷል, እና ሁለት የግቤት ጭቅጭቅ መውሰድ እና አንድ አዲስ እሴት ውስጥ አንድ ውጤት ለሚመልሱ ተግባራትን ዓይነት ናቸው. ቡሊያን አልጀብራ ሁሉ ተግባራት ማብራሪያ ለማግኘት እውነት ሰንጠረዦች ይጠቀማል.

ምን ያስፈልጋቸዋል

ይህ የስርዓት ግቤት operands የተወሰነ መጠን አደረገ እና የግቤት ግቤቶች ማዘጋጀት አለ ላይ የተወሰነለትን አመክንዮ ክወና መመለስ ይችላሉ ይህም ሁሉ በውጤቱም እሴቶች, የሚገልጽ ነው.

ውስጥ በጣም በተደጋጋሚ ጥቅም ላይ ተግባራት ኮምፒውተር እና የኮምፒውተር ቴክኖሎጂ ምክንያታዊ በተጨማሪ (disjunction) እና ምክንያታዊ ማባዛት (መስተፃምር) ናቸው.

መስተፃምር

የ ምክንያታዊ ክወና "እና" - ሁለት ወይም n ግብዓት operands መካከል ዝቅ ያለውን ምርጫ የሆነ ተግባር ነው. ሁለት (ሁለትዮሽ ተግባር) ሊኖረው ይችላል በዚህ ተግባር በማስገባት ላይ, ሦስት እሴቶች (ternary), ወይም operands (n-ary ክንውን) ላልተወሰነ ቁጥር. ወደ ተግባር ውጤት በማስላት ጊዜ የቀረበውን ግብዓት እሴቶች መካከል ትንሿ ይሆናል.

ተራ አልጀብራ ውስጥ ከአናሎግ የማባዛት የሆነ ተግባር ነው. ስለዚህ, መስተፃምር ክወና አብዛኛውን ጊዜ ምክንያታዊ የማባዛት በመባል ይታወቃል. መቼ ተግባር ቀረጻ ድርጊቶች ወይም የማባዛት ምልክት (ነጥብ) ወይም ampersand ምልክት. እኛም ለዚህ ተግባር የሚሆን እውነት ጠረጴዛ ከሆነ, ይህ ተግባር ብቻ ሁሉ ግብዓት operands እውነት ጋር, "እውነተኛ" ወይም 1 መዋቀሩን እንደሆነ ይታያል. የግቤት መለኪያዎች መካከል ቢያንስ አንዱን ዜሮ ነው; ወይም ዋጋ "ሐሰተኛ" ከሆነ, ተግባር ውጤት ደግሞ "ሐሰት" ይሆናሉ.

ይህም ስሌት የመጨረሻ ውጤት ላይ ተጽዕኖ አይኖረውም የግቤት ግቤቶችን ይቀበላል ቅደም ተከተል; በዚህም የተነሳ ሁልጊዜ በዚህ ሎጂክ ክወና commutative ነው 0. ይመልሳል እንደ ማባዛት, እና 0 ቁጥሮች ስብስቦች ማንኛውም ቁጥር: ይህ አርቲሜቲክ የማባዛት ጋር ምስያ ያንጸባርቃል.

ይህ ተግባር ሌላው ገጽታ associativity, ወይም associativity ነው. ይህ የንብረት ክወናዎች መካከል ሁለትዮሽ ቅደም ተከተል ያለውን ስሌት ከግምት ግምገማ ትዕዛዝ መውሰድ አይደለም ያስችላል. ስለዚህ, 3 ወይም ከዚያ በላይ ተከታታይ ምክንያታዊ ማባዛት ክወና ለ መለያ ወደ ቅንፍ መውሰድ አስፈላጊ አይደለም. ፕሮግራሞች ውስጥ, ይህ ተግባር ብዙውን ጊዜ የተወሰኑ ትእዛዝ ተገድለዋል መሆኑን ለማረጋገጥ ጥቅም ላይ ብቻ የተወሰኑ ሁኔታዎች ድምር ከሆነ.

disjunction

የ ምክንያታዊ ክወና "ወይም" - የ ቡሊያን ተግባር መልክ, የ A ልጀብራ በተጨማሪ ጋር ተመሳሳይ ነው. ለዚህ ተግባር ሌሎች ስሞች - ሎጂካዊ በተጨማሪ, የ disjunction. በተመሳሳይም, ሎጂካዊ ማባዛት ክወና እንደ disjunction (ሁለት ነጋሪ እሴቶች ላይ ተመሥርቶ ዋጋ ለማስላት), ternary ወይም n-ary ሁለትዮሽ ሊሆን ይችላል.

ይህ ምክንያታዊ ክወና እውነት ጠረጴዛ መስተፃምር አማራጭ አንድ ዓይነት ነው. የ ምክንያታዊ ክወና "ወይም" የቀረበው የመከራከሪያ መካከል የተሻለ ውጤት ያሰላል. Disjunction "ሐሰት" የውጽአት ዋጋ ይቀበላል, ወይም 0 ጊዜ ብቻ ሁሉ ግብዓት መለኪያዎች እሴቶች 0 ( "ሐሰተኛ") ጋር ተቀብለዋል. ሌላ ሁኔታ ውስጥ ውፅዓት ይህን ተግባር ለመመዝገብ ዋጋ በ "እውነተኛ" አግኝቶአል, ወይም 1. ይሆናል በጣም ብዙ ጊዜ በተጨማሪም ( "ሲደመር") ወይም ሁለት ቋሚ ቁራጮች መካከል የሂሳብ ምልክት ጥቅም ላይ ይውላል. አንተ በግልጽ በስነ መካከል ምክንያታዊ ክወና ለመለየት ያስችላል, ምክንያቱም ሁለተኛው ተለዋጭ አብዛኞቹ የፕሮግራም ማድረጊያ ቋንቋዎች ውስጥ በስፋት እና ተመራጭ ነው.

ምክንያታዊ ቀዶ አጠቃላይ ንብረቶች

መሰረታዊ ሎጂክ ክወናዎች, ይህ unary, ሁለትዮሽ, ternary ወይም ሌሎች ተግባራት እንደሆነ, ያላቸውን ጠባይ የሚገልጹ አንዳንድ ሕጎችን እና ንብረቶች ተገዢ ናቸው. ከላይ በተገለጸው አመክንዮ ተግባራት ያደረበትን ያሉ መሠረታዊ ንብረቶች commutative ናቸው.

ይህ ባህሪ ስልፈት ተግባር ለመለወጥ የለውም operand ዋጋ እንደሚሰጥ ያረጋግጣል. ሁሉም ከዋኞች ይህ ንብረት አለን. መስተፃምር እና commutativity መስፈርቶችን የሚያሟሉ መሆኑን disjunction በተለየ ተግባር ማትሪክስ የመባዛት አይደለም, እና በዚህ ክወና ውስጥ ምክንያቶች አካሄዶችና ያለውን ለውጥ ውጤት, እንዲሁም ሊያጋልጣት ይሆናል ንሴት.

አንድ ተጨማሪ ገጽታ

ብዙ ጊዜ የኤሌክትሮኒክስ እና circuitry ውስጥ ጥቅም ላይ ነው ይህም ሌላው ወሳኝ ገፅታ, ምክንያታዊ ቀዶ ደ ሞርጋን ሕጎች ጥንዶች መካከል ያለው የሥልጣን ተዋረድ ነው.

እነዚህ ሕጎች ሌሎች በመጠቀም ምክንያታዊ ክወና ለመግለጽ ጥቅም ላይ ያለውን ምክንያታዊ አሉታ ተግባር, በመጠቀም ሎጂክ የስሌቶች ጥንድ ይሰሩ. ለምሳሌ ያህል, አንድ መስተፃምር አሉታ ተግባር disjunction negations የተለያዩ operands በ ሊገለጽ ይችላል. አነስተኛ የሃርድዌር ወጪ ጋር ተግባራዊ ሊሆን የሚችለው እነዚህን ሕጎች ምክንያታዊ ክወና "እና", "ወይም" እና vzaimovyrazheny ጋር. ይህም እርስዎ ስሌት እና ቺፕስ መካከል ምስረታ ውስጥ ሀብቶች ለማዳን ያስችላቸዋል እንደ ይህ ባህሪ, የወረዳ ንድፍ ውስጥ እጅግ በጣም ጠቃሚ ነው.