ተግባር, ህጎች እና ምሳሌዎች: ሎጂካዊ መግለጫዎችን ለማቅለል እንዴት

እኛ ምክንያታዊ መግለጫዎች ለማቅለል አብረው ይማራሉ ዛሬ, እኛም መሠረታዊ ሕጎች ጋር ለመተዋወቅ እና ሎጂክ ተግባራት እውነት ሰንጠረዥ መመርመር.

ለምን በዚህ ርዕሰ ጉዳይ ጋር መጀመር. መቼም ማውራት እንዴት አስተውለሃል? የእኛ ንግግር እና እርምጃዎች ሁልጊዜ አመክንዮ ህጎች ተገዢ መሆናቸውን እባክዎ ልብ ይበሉ. በማንኛውም ክስተት ውጤት ለማወቅ እና ወጥመድ ሊሆን አይችልም ሲሉ, ሎጂክ ቀላል እና ግልጽ ሕጎች እንማራለን. እነሱ ብቻ ሳይሆን ኮምፒውተር ሳይንስ ውስጥ ጥሩ ውጤት ማግኘት ወይም የተዋሃደ ሁኔታ ምርመራ ተጨማሪ ኳሶችን ለማግኘት, ነገር ግን እውነተኛ የሕይወት ሁኔታዎች ውስጥ እርምጃ በዘፈቀደ አይደሉም ይረዳናል.

ክወናዎች

አመክንዮ መግለጫዎች ለማቅለል እንዴት ለማወቅ, አንተ ማወቅ ያስፈልገናል;

• ምን ባህሪያት የ ቡሊያን አልጀብራ ያደርጋል;
• ቅነሳ እና የልወጣ ህግ መግለጫዎች;
• ቀዶ ቅደም ተከተል.

አሁን ታላቅ በዝርዝር እነዚህን ጉዳዮች እንመለከታለን. እስኪ ክወናዎች እንጀምር. እነዚህ ማስታወስ በጣም ቀላል ናቸው.

1. እኛ ምክንያታዊ ማባዛት ልብ የመጀመሪያው ነገር, ጽሑፍ ውስጥ አንድ መስተፃምር ክወና ይባላል. ሁኔታ አገላለጽ መልክ የተጻፈ ከሆነ, ክወናው አንድ ይገለበጥና መዥገር, የማባዛት ምልክት, ወይም "እና" በ አመልክተዋል.
2. ቀጣዩ በጣም በተደጋጋሚ ጥቅም ላይ ተግባራት - ምክንያታዊ በተጨማሪ ወይም disjunction. የእሷ ምልክት መዥገር ወይም የመደመር ምልክት.
3. አንድ በጣም አስፈላጊ የሆነ ባህሪ አፍራሽ ወይም ግልበጣ ነው. እንዴት የሩሲያ ቋንቋ እናንተ ገለልተኛ ቅጥያ ውስጥ አስታውስ. በግራፊክ, ወደ ግልበጣ አገላለጽ በፊት አንድ ቅጥያ, ወይም ከላይ ያለውን አግድም መስመር ይጠቁማል.
4. በምርመራው ዋጋ አንድ ቀስቱ በሚያመለክተው እንዲቆጠብ (ወይም አንድምታው). እኛ የሩስያ ቋንቋ አመለካከት ነጥብ ጀምሮ ክወና ግምት ከሆነ, ይህ ዓረፍተ ነገር አወቃቀር ዓይነት ጋር ይዛመዳል: "ከሆነ ... ከዚያም ...".
5. በሚቀጥሉት ሁለት-መንገድ ቀስት የተመላከቱ ነው ይህም አቻነት ነው. እንደሚከተለው የሩሲያ ላይ ክወና ነው: "ከሆነ ብቻ".
6. Sheffer ጭረት በቋሚ አሞሌ ሁለት መግለጫዎች ይከፋፍላል.
7. ፒርስ ቀስት, በተመሳሳይ Sheffer መርጋት, ማጋራቶች አገላለጽ ቋሚ ቀስት ወደታች በመጠቆም.

አሉታ, ማባዛት, በተጨማሪ, በዚህም የተነሳ አቻነት: እርግጠኛ ክወናዎችን ጥብቅ ቅደም ተከተል ውስጥ ሊከናወን ይገባል ልብ ይበሉ ዘንድ. ክወናዎች "Sheffer ስትሮክ" እና "ምክንያታዊ ወይም" ለ ቅድሚያ ምንም ደንብ የለም. ስለዚህ, እነርሱ አንድ ውስብስብ መግለጫ ውስጥ ቆማችሁ ቅደም ተከተል ውስጥ ሊከናወን ይገባል.

እውነት ሰንጠረዥ

የ ቡሊያን መግለጫ ለማቃለል እና በውስጡ ተጨማሪ ውሳኔ መሠረታዊ ስራዎች መካከል ጠረጴዛዎች መካከል ያለ እውቀት የማይቻል ነው እውነት ሰንጠረዥ መገንባት. አሁን ከእነሱ ጋር ለመገናኘት ያቀርባሉ. እሴቶች ወይ አንድ እውነት ወይም ሐሰት ዋጋ ሊወስድ እንደሚችል ልብ ይበሉ.

በስእሉ እንደሚታየው ሰንጠረዥ መስተፃምር ያህል ነው:

ሠንጠረዥ disjunction ክወና ለ:

አሉታ:

ውጤቱ:

አቻነት:

የአሞሌ Schiffer:

ፒርስ ቀስት:

ህጎች simplification

ኮምፒውተር ሳይንስ ውስጥ አመክንዮ አገላለጾች ለማቅለል እንዴት ጥያቄ ላይ, እኛን መልስ አመክንዮ መካከል ቀላል እና ግልጽ ሕጎች እንዲያገኙ ይረዳዎታል.

ያለው ቅራኔ ውስጥ ቀላሉ ሕግ ጋር እንጀምር. እኛ ተቃራኒ ፅንሰ (ሀ እና NEA) አበዛለሁ ከሆነ, ታዲያ እኛ ውሸት ያገኛሉ. ተቃራኒ ፅንሰ መካከል በተጨማሪ ሁኔታ ውስጥ, እኛ እውነትን ለማግኘት, ሕግ 'ወደ የተገለሉ መካከለኛ ሕግ "ተብሎ ተጠርቷል. ብዙውን ጊዜ ውስጥ ቡሊያን አልጀብራ ድርብ አሉታ (አይደለም NEA) ጋር አገላለጾች አሉ, ከዚያ እኛ ደግሞ ዴ ሞርጋን ሕግ ሁለት አሉ መልስ ሀ ያገኛሉ:

• እኛ ምክንያታዊ በተጨማሪ ያለውን አፍራሽ ካለዎት, እኛ አንድ ግልበጣ (አይደለም (A + B) = * Nea Neuve) ጋር ሁለት መግለጫዎች መካከል ማባዛት እንዲያገኙ;
• ተመሳሳይ ድርጊቶች, እና ሁለተኛ ሕግ, እኛ የማባዛት መከልከል በሉ, እኛ ግልበጣ ጋር ሁለት እሴቶች ለማከል ያገኛሉ.

በጣም በተደጋጋሚ መገልበጥ, የተቋቋመው ወይም በጋራ በዙ ተመሳሳይ እሴት (ሀ ወይም ለ). በዚህ ሁኔታ ውስጥ, መደጋገም ሕግ (= a * A + B ወይም A = B). ሕጎች እና ዘረፋዎች አሉ:

• A + (ሀ * B) A =;
• አንድ * (A + B) A =;
• አንድ * (HEA + B) አንድ * ቢ =

ሁለት የመተሳሰሪያ ሕግ አሉ:

• (ሀ * ለ) + (ሀ * B) A =;
• (A + B) * (A + B) = ሀ

እናንተ ቡሊያን አልጀብራ ህግጋት ማወቅ ከሆነ ምክንያታዊ አገላለጾችን ለማቅለል ቀላል ነው. ሕግ ርዕሶች በዚህ ክፍል ውስጥ የተዘረዘሩ ሁሉም ነገር empirically ሊሞከሩ ይችላሉ. ለዚህ ዓላማ እኛ በሒሳብ ህጎች መሰረት ቅንፍ በመክፈት.

ምሳሌ 1

እኛ ምክንያታዊ አገላለጾች ቀላል ሁሉ ባህሪያት አጥንቻለሁ; ይህም በተግባር ያላቸውን አዲስ እውቀት ለማዋሃድ አሁን አስፈላጊ ነው. እኛ እርስዎ የትምህርት ፕሮግራም እና የተዋሃደ ግዛት ፈተና ውስጥ ትኬቶች ከ አብረው ሦስት ምሳሌዎች ውጭ እንዲያደርጉ እንመክራለን.

(P * ሠ) + (ሐ * ይህ): በመጀመሪያው ምሳሌ ውስጥ, እኛ አገላለጽ ለማቅለል ያስፈልገናል. በመጀመሪያ, ሁለቱም የመጀመሪያው እና ሁለተኛው ቅንፎች ቅናሾች ጋር ተመሳሳይ ተለዋዋጮች አላቸው ውስጥ ቅንፍ ውጭ ይህን ለማድረግ እውነታ የእኛን ትኩረት ያብሩ. ሲ * (ሠ + ይህም): እኛ አገላለጽ ማታለላቸውን በማድረግ ያከናውኑ በኋላ. ቀደም ብለን የተገለሉ በመካከል ያለውን ሕግ ተመልክቶ አገላለጽ ጋር በተያያዘ ተግባራዊ. ሐ * 1: ይህን ተከትሎ, ያንን E + = 1 እንግዲህ ነው የእኛ መግለጫ ቅጹን ይወስዳል ማለት ይችላሉ. በ ምክንያት አገላለጽ, አሁንም በዚያ C 1 = C * አውቆ በማድረግ ቀለል ይቻላል.

ምሳሌ 2

የእኛ ቀጣዩ ተግባር ይሆናል: አንድ ቀለል ቡሊያን መግለጫ አሁንም (ሐ + ይህም) አይደለም; + (ሐ + ሠ) + C * ኢ አይደለም ምን?

በዚህ ምሳሌ ውስጥ እባክዎ ልብ ይበሉ ውስብስብ አገላለጾች መካከል ያለውን አፍራሽ ነው, ይህ ደ ሞርጋን ህግጋት በመመራት, ማስወገድ ያለብን. እነሱን ተግባራዊ እኛ የሚከተለውን መግለጫ ለማግኘት: * ኢ + ሶስቴንስን ሶስቴንስን * ይህ C * ሠ + አንዴ እንደገና እኛ ቅንፍ ውጭ ይህን ለማድረግ, ሁለት ቃላት ውስጥ አንድ ተለዋዋጭ መደጋገሙ ምሥክርነት ነው: HEC * (ሠ + እሷን) + C * ሠ HEC * 1 + C * ሠ: እንደገና: ወደ አለማካተት ህግ ተግባራዊ ሶስቴንስን + C * ሠ: እኛ ሐረግ "ሶስቴንስን * 1" ሶስቴንስን እኩል መሆኑን አስታውስ (HEC + C) * (HEC + E): እኛ ደግሞ የአከፋፋይ ሕግ መጠቀም ያቀርባሉ. HEC + ሠ: እኛ የተገለሉ መካከለኛ ሕግ ተግባራዊ

ምሳሌ 3

አንተ በእርግጥ የ ቡሊያን አገላለጽ ለማቅለል በጣም ቀላል እንደሆነ ተመልክተናል. ምሳሌ №3 ያነሰ ዝርዝር ጋር ቀለም ይሆናል, ይህም ራስህን ለማድረግ ሞክር.

(D + ሠ) * (D + F): አገላለጽ ለማቅለል.

1. D * D + D * F + E * D + E * F;
2. D + D * F + E * D + E * F;
3. D * (1 + F) + ኢ * D + E * ረ;
4. D + ኢ * D + E * ረ;
5. D * (1 + E) + E * F;
6. D + E * ኤፍ

እናንተ ውስብስብ ምክንያታዊ አገላለጾች ለማቃለል ህግጋት ማወቅ ከሆነ ማየት ይችላሉ እንደመሆኑ መጠን, ከዚያ ይህን ሥራ ችግር ሊያስከትሉ ፈጽሞ.