ኮምፒውተር ውስጥ ቀላል አመክንዮ ክወናዎችን

ወደ ሁለትዮሽ በማስተማር, ኮምፒውተር ሳይንስ ማጥናት ይጀምራል ማንኛውም ሰው ቁጥር ስርዓት. ይህም ምክንያታዊ ቀዶ ለማስላት ጥቅም ላይ ይውላል. ኮምፒውተር ሳይንስ ውስጥ የሚከተሉትን ሁሉ በጣም A ንደኛ ምክንያታዊ ክወናዎችን እንመልከት. አንተ ስለ ካሰቡ ሁሉ በኋላ, እነርሱ ኮምፒውተሮች እና መሣሪያዎች ሎጂክ ለመፍጠር ጥቅም ላይ ይውላሉ.

ክህደት

በዝርዝር ከግምት ጀምሮ በፊት የተወሰኑ ምሳሌዎችን መሠረታዊ ዝርዝር ምክንያታዊ ቀዶ ኮምፒውተር ውስጥ:

• ክህደት;
• በተጨማሪም;
• የማባዛት;
• መከተል;
• እኩልነት.

በተጨማሪም, ሎጂክ ስራዎች ጥናት ከመጀመሩ በፊት "0" የተሰየመ ተኝቷል የኮምፒውተር ሳይንስ ውስጥ ማለት ነው, ነገር ግን እውነት "1".

ለእያንዳንዱ እርምጃ, በመደበኛ በሂሳብ እንደ ምክንያታዊ ኮምፒውተር ሳይንስ ውስጥ ጥቅም ላይ ቀዶ የሚከተሉትን ምልክቶች: ¬, v, &, ->.

በተቻለ መጠን እያንዳንዱ እርምጃ በማንኛውም ቁጥር 1/0, ወይም ምክንያታዊ መግለጫዎችን ለመግለጽ. አንድ ተለዋዋጭ በመጠቀም ቀላል ቀዶ ጋር የሂሳብ ሎጂክ ያለውን አሳቢነት ለመጀመር.

ምክንያታዊ አሉታ - ግልበጣ ክወና. እውነት, ስለ ግልበጣ ውጤት ነው - - ውሸት ዋናው ነጥብ የመጀመሪያ አገላለጽ ከሆነ ነው. በተቃራኒው, የመጀመሪያ አገላለጽ ከሆነ - እውነት - ውሸት, ከዚያም ውጤቱ አንድ ግልበጣ ይሆናል.

ይህ አገላለጽ በሚጽፉበት ጊዜ እኛ የሚከተለውን ምልክትን "¬A" ይጠቀማሉ.

እኛ እውነትን ሰንጠረዥ መስጠት - ማንኛውም ምንጭ ውሂብ ስራዎች ሁሉ በተቻለ ውጤቶችን ያሳያል ይህም የወረዳ.

(1) እውነተኛ, ከዚያም በውስጡ አሉታ ሐሰት ነው (0) - ይህ እኛ የመጀመሪያውን መግለጫ ካለዎት ነው. እና ከሆነ የመጀመሪያ መግለጫ - ሐሰተኛ (0), ከዚያም በውስጡ አሉታ - እውነተኛ (1).

በተጨማሪም

የቀሩት ክወናዎች ሁለት ተለዋዋጮች ይጠይቃሉ. አንድ መግለጫ ያመለክታል - ሁለተኛው - ኮምፒውተር በሚገልጹ በተጨማሪም ክወና (ወይም disjunction), ወይም ጊዜ ውስጥ ለ አሳማኝ ቀዶ ቃል "ወይም" ተጠቅሰው, ወይም "ቁ" ምልክት መጻፍ. ውሂብ እና ስሌቶች ውጤቶች በተቻለ አማራጮች ውጭ ጻፍ.

1. ሁለት መግለጫዎች እውነት ከሆነ ከዚያ E ቁ n = 1. E = 1, n = 1, ከዚያም ያላቸውን disjunction ደግሞ እውነት ነው.
2. መግለጫዎች መካከል ቢያንስ አንዱ እውነት ከሆነ ታዲያ E = 0, n = 1, የኋላ ኋላ E ቁ = ሸ 1 E = 1, H = 0, E ቁ N = 1., ከዚያም በተጨማሪ ውጤት እውነት ነው.
3. ውሸት - E = 0, H = 0, ውጤቱ ኢ ቁ ሸ = 0. ሁለቱም አገላለጾች የሐሰት ከሆነ, ከዚያም ድምር ደግሞ ነው.

የማስረዳትና ያህል, እኛ አንድ እውነት ሠንጠረዥ ለመፍጠር.

ማባዛት

የ በተጨማሪ ክወና ጋር በተያያዘ ከተመለከትን, ማባዛት (መስተፃምር) ይሄዳሉ. እኛ በተጨማሪም ከላይ ያልተቀበሉ ተመሳሳይ ምልክቶች, ይጠቀማሉ. ምክንያታዊ የማባዛት በመጻፍ በ "እና" ምልክት ወይም ደብዳቤ "እኔ" የተመላከቱ ጊዜ.

1. E = 1, n = 1, ከዚያ ወደ & H = 1. ሁለት መግለጫዎች እውነት ከሆነ, ከዚያ ያላቸውን መስተፃምር - እውነት.
2. አገላለጾች ቢያንስ አንድ ከሆነ - ውሸት, ከዚያም አመክንዮአዊ የማባዛት ውጤት ደግሞ ውሸት ነው.

• E = 1, N = 0, ው & H = 0 እንዲሁ.
• ኢ = 0, n = 1, ከዚያ ወደ & H = 0.
• E = 0, H = 0, ው & H = 0 በድምሩ.

ውጤት

የ ምክንያታዊ ክወናው ቅደም ተከተል (በአንድምታ) - ቀላሉ የሒሳብ አመክንዮ በአንዱ. አንድ ነጠላ መለኮታዊነት ላይ የተመሠረተ ነው - እውነት ውሸት መከተል አትችልም ነው.

1. E = 1, N =, E እንዲሁ - ከሆነ> N = 1. አንድ ባልና ሚስት በፍቅር ነው, ከዚያም እነርሱ ተጠንቅቃችሁም ይችላሉ - እውነት.
2. E = 0, n = 1, ከዚያም ኢ - ጥንድ ያደቃል አይደለም ከሆነ> N = 1. እነሱ ተጠንቅቃችሁም ይችላሉ - ደግሞ እውነት ሊሆን ይችላል.
3. E = 0, H = 0, ይህ ኢ -> ወደ ጥንድ ፍቅር ውስጥ ካልሆነ N = 1., ከዚያም እነርሱ መሳም አይደለም - ደግሞ እውነት ነው.
4. E = 1, n = 0, ውጤቱ ኢ ነው -> N = 0. ጥንድ ፍቅር, እነሱ መሳም አይደለም ከሆነ - ውሸት.

እኛ እውነትን ሠንጠረዥ ማቅረብ እንደ የሂሳብ ስራዎች ሰዎች መገደል ለማመቻቸት.

እኩልነት

የመጨረሻው ክዋኔ አንድ ምክንያታዊ ማንነት እኩልነት ወይም አቻነት ይወሰዳል. ጽሑፉ ውስጥ "... ከሆነ ብቻ ከሆነ ..." ተብለው ይችላል. በዚህ ሁኔታ መቀረፃቸውን ላይ በመመስረት, ይህ ጀምሮ ሁሉንም ምሳሌዎች ይጻፉ.

1. A = 1, B = 1, ከዚያም A≡V = 1. ከሆነ ብቻ ነው በጠና ከሆነ ጽላቶች መጠጣት ያለው ሰው. (እውነተኛ)
2. A = 0, B = 0, በዚህም A≡V = 1. የሰው ከዚያም ጽላቶች መጠጥ, እና አይደለም እንደ ብቻ ጊዜ ታመው አይደለም. (እውነተኛ)
3. A = 1, B = 0, A≡V = 0. የግለሰብ ጽላቶች ከሆነ ብቻ ነው ምንም የታመመ ከሆነ ይጠጣሉ እንዲሁ. (ሐሰት)
4. A = 0, B = 1, ከዚያም A≡V = 0. የግለሰብ ጽላቶች ወይም ከሆነ ብቻ ነው ታምሞ ከሆነ ይጠጣሉ. (ሐሰት)

ንብረቶች

ስለዚህ, ኮምፒውተር ሳይንስ ውስጥ አንድ ቀላል አመክንዮ ክንውኖች እንመልከት: እኛ ያላቸውን ንብረቶች አንዳንድ ማጥናት መጀመር ይችላሉ. በሂሳብ እንደ ሎጂክ ክወናዎችን የራሱ ቅደም ተከተል ሂደት ውስጥ የለም. ትልልቅ ቀዶ ውስጥ ቅንፍ ውስጥ ምክንያታዊ አገላለጾች ለመጀመሪያ ፈጽሟል ናቸው. ከእነርሱ በኋላ, የመጀመሪያው ነገር እኛ መከልከልን ምሳሌ ውስጥ ሁሉንም ዋጋዎች መቁጠር. ቀጣዩ እርምጃ መስተፃምር ያለውን ስሌት, ከዚያም disjunction ነው. ከዚያ በኋላ ብቻ, በመጨረሻ, ወደ አቻነት ያለው ምርመራ ክወና ማከናወን እና. ለጥራት አንድ ትንሽ ምሳሌ እንመልከት.

አንድ v B & ¬V - ላይ ≡ ሀ>

የሚከተሉትን እርምጃዎች ለማከናወን የ ሂደት.

1. ¬V
2. በ & (¬V)
3. አንድ v (V & (¬V))
4. (አንድ v (B & (¬V))) -> ቢ
5. ((አንድ v (V & (¬V))) -> ቢ) ≡A

ለዚህ ምሳሌ ለመፍታት እንዲቻል, እኛ የተዘረጋው እውነት ጠረጴዛ መገንባት ይኖርብዎታል. ይህ የተፈጠረው ጊዜ አምዶች በተሻለ ተሸክመው እና እርምጃ ይሆናል ውስጥ በተመሳሳይ ቅደም ተከተል ውስጥ ይመደባሉ መሆኑን አስታውስ.

እኛ ማየት የምንችለው እንደ ናሙና መፍትሔ ውጤት የመጨረሻው ዓምድ ይሆናል. እውነትን ሰንጠረዥ ማንኛውም በተቻለ ምንጭ ውሂብ ጋር ያለውን ችግር ለመፍታት ረድቶኛል.

መደምደሚያ

በዚህ ርዕስ ውስጥ እኔ እንደ ኮምፒውተር ሳይንስ, ሎጂክ ስራዎች መካከል ባህርያት እንደ የሒሳብ ሎጂክ ያለውን ጽንሰ, አንዳንድ ውይይት, እንዲሁም ናቸው - በራሳቸው ላይ አመክንዮአዊ ቀዶ ነገር. አንዳንድ ቀላል ምሳሌዎች ይህን ሂደት ለማቃለል የሂሳብ ሎጂክ እና እውነት ጠረጴዛዎች ውስጥ ችግሮች መፍትሔ ለማግኘት የተሰጡ ናቸው.