ምክንያታዊ መግለጫዎች እውነት ጠረጴዛዎች ለመገንባት የሚያስችል ስልተ

ዛሬ, በዚህ ወረቀት ላይ በዝርዝር ምክንያታዊ አገላለጾች አንድ እውነት ጠረጴዛ በመገንባት ጉዳይ ውይይት ይደረጋል. ይህንን ችግር ጋር ብዙውን ጊዜ የኮምፒውተር ሳይንስ ውስጥ የተዋሃደ ግዛት ፈተና መስጠት ተማሪዎች አጋጥሞናል. አንተ እውነት ጠረጴዛዎች መገንባት አስፈላጊ ህጎች, ክወናዎችን እና ደንቦች አውቃለሁ ከሆነ እንዲያውም እንዲህ-ተብለው ቡሊያን አልጀብራ ውስብስብ አይደለም. እነዚህ እኛ ዛሬ ለማድረግ ይሄዳሉ ጥያቄዎች ናቸው.

ቡሊያን አልጀብራ

አንድ ውስብስብ አገላለጽ መፍጠር ትስስር ቀዶ ናቸው ቀላል ሎጂካዊ መግለጫዎች,, ላይ የተመሠረተ አመክንዮ አልጀብራ. ይህ ቡሊያን አልጀብራ ሁለት ሁለትዮሽ ቀዶ ይይዛል ማስታወሻ: በተጨማሪም ማባዛትን (መስተፃምር እና disjunction, በቅደም); አንድ unary - ግልበጣ. ሁሉም ቀላል መግለጫ (ሀ ውስብስብ ምክንያታዊ አገላለጽ ክፍሎችን) በሁለት እሴቶች መካከል አንዱን ይወስዳል: "1" ወይም "0", "እውነተኛ" ወይም "ሐሰት", "+" ወይም "-" በቅደም ተከተል.

አመክንዮ መካከል አልጀብራ ጥቂት በአንጻራዊነት ቀላል axioms ላይ የተመሠረተ ነው:

• associativity;
• commutative ነው;
• ለመምጥ;
• distributivity;
• additionality.

እናንተ ታውቃላችሁ ከሆነ ምክንያታዊ መግለጫዎች አንድ እውነት ሰንጠረዥ ለመገንባት እነዚህን ሕጎች እና ተግባራት መካከል ቅደም ተከተል, ማንኛውንም ችግሮች ሊያስከትል አይችልም. ቀዶ ጥብቅ ቅደም ተከተል ውስጥ ሊከናወን ይገባል አስታውስ: አሉታ, ማባዛት, በተጨማሪ, ውጤቱ, አቻነት ብቻ ከዚያም Schiffer ወይም ምክንያታዊ ወይም ክወናዎችን ከቡና ቤት ወደ ይቀጥላል. መንገድ በማድረግ, ባለፉት ሁለት ተግባራት እነሱ የሚገኙት ቅደም ተከተል ውስጥ ለመተግበር ቅድሚያ ምንም ደንቦች ናቸው.

በሰንጠረዡ እስከ በመሳል ደንቦች

ምክንያታዊ መግለጫዎች አንድ እውነት ሰንጠረዥ ግንባታ ብዙ ለመፍታት ይረዳል ምክንያታዊ ችግሮች እና ውስብስብ ብዛት ያላቸውን ምሳሌዎች መፍትሔ ማግኘት. ያላቸውን ማጠናቀር አንዳንድ ደንቦች አሉ መሆኑን ማስተዋሉ ጠቃሚ ነው.

በአግባቡ ምክንያታዊ ጠረጴዛ ለማድረግ እንዲቻል, ይህ ረድፎች ቁጥር ለመወሰን መጀመር አስፈላጊ ነው. እንዴት ማድረግ? አንድ ውስብስብ አገላለጽ ከፍ ለማድረግ እንደሆነ ተለዋዋጮች ቁጥር መቁጠር, እና ቀላል ቀመር ይጠቀሙ: ኃይል n ወደ A = 2. እና - ይህ እውነት የላኩትን በሰንጠረዡ ውስጥ ረድፎች ቁጥር ነው, n - አንድ ውስብስብ ምክንያታዊ አገላለጽ ክፍል የሆኑትን ተለዋዋጮች ቁጥር ነው.

ምሳሌ: ውስብስብ መግለጫ ከዚያም አንድ መጥፎ ምልክት ሦስተኛ ደረጃ ላይ የተገነባው አለበት ሦስት ተለዋዋጮች (A, B እና C), ይዟል. ቢ እኛ ስምንት መስመሮች ይኖረዋል እውነት ጠረጴዛ ነው. ወደ አምድ ርዕስ አንድ መስመር ያክሉ.

በመቀጠልም, እኛ ያለንን አገላለጽ ዞር እና የፈጸማቸው ድርጊቶች ቅደም ተከተል ይወስናል. ለራሳቸው የተሻለ ትዕዛዝ እርሳስ ምልክት (አንድ, ሁለት, እና የመሳሰሉት).

ቀጣዩ እርምጃ እኛ ግብይቶች መጠን ለማስላት. በ ምክንያት ቁጥር - በእኛ ሰንጠረዥ ውስጥ አምዶች ብዛት. ተለዋዋጮች መካከል በተቻለ ጥምረት ለመሙላት, የእርስዎን ውሎች ውስጥ የተካተቱ ተለዋዋጮች እንደ አምዶች እንኳን በርካታ ለማከል እርግጠኛ ይሁኑ.

ቀጥሎም, በእኛ ሰንጠረዥ ቆብ መሙላት አለብዎት. ከታች ለዚህ አንድ ምሳሌ ተመልከት.

አሁን በተቻለ የጥምረቶች ወደ አሞላል ይቀጥሉ. እንደሚከተለው ሁለት ተለዋዋጮች ያህል, እነዚህ ናቸው: 00, 01, 10, 11. ሦስት ያህል ተለዋዋጮች: 000, 001, 010, 011, 100, 101, 110, 111.

ሁሉ ከላይ የተጠቀሱትን ንጥሎች የቀሩትን ህዋሳት እና ሳቢያ ጠረጴዛ በመሙላት ያለውን ስሌት መቀጠል ይችላሉ በኋላ.

ምሳሌ

A + B * ሀ ያለውን ግልበጣ: እኛ አሁን ምክንያታዊ አገላለጽ አንድ ጠረጴዛ በመገንባት ምሳሌ እውነት ነው ግምት

1. መስመሮች 2. ብዛት:: 4; + 1 = 5 ተለዋዋጮች ይቁጠሩ.
2. እርምጃዎች እንዲገደል ትእዛዝ: የመጀመሪያው ግልበጣ, ሁለተኛ መስተፃምር, disjunction ሶስተኛ.
3. የአምዶች ብዛት: 3; + 2 = 5.
4. አንድ መከታተያ ማግኘት እና ጠረጴዛ በመሙላት.

እንደ ደንብ ሆኖ, የሥራ ይህን ይመስላል: "ስንት ጥምረት F = 0 ያረካል" ወይም "F = 1 ጥምረት ነገር". 1, ሁለተኛው - - 00, 01, 11 የመጀመሪያው ጥያቄ መልስ ላይ.

በጥንቃቄ የተሰጡት ያሉት ሥራ ማንበብ. በትክክል ችግሩን መፍታት ይችላል, ነገር ግን ምላሽ በጽሑፍ ስህተት ማድረግ. አንዴ እንደገና እኔ እርምጃዎች ቅደም ተከተል የእርስዎን ትኩረት እንዲቀርቡ:

• ክህደት;
• የማባዛት;
• በተጨማሪም.

ተግባር

አንድ እውነት ጠረጴዛ ግንባታ አንድ አስቸጋሪ ሎጂካዊ ችግር መልስ ለማግኘት ሊረዳህ ይችላል. ርዕስ በዚህ ክፍል ውስጥ ማድረግ ይችላሉ አመክኖአዊ ተግባራት ሁኔታ ለ ሃሳብን ዝግጅት እና እውነት ጠረጴዛ ሂደት ይከተሉ.

1), 7 2) 6, 3), 5, 4) ከእነርሱም አንዳንዶቹ ለማግኘት 4. መግለጫ "ግልበጣ (ትናንሽ አንድ 6) + (ከ 5 ሀ)" ሐሰት ነው: አንድ አራት እሴቶች የተሰጠው?

የመጀመሪያው አምድ በዚህ ቅደም ተከተል ውስጥ ያስፈልጋል እሴቶች 7, 6, 5: 4 ጋር የተሞላ ይሆናል. በሚቀጥለው አምድ ውስጥ, ጥያቄ መልስ አለበት: "? እንዲሁም ከ 6 ያነሰ" ጥያቄ ተመሳሳይ, ብቻ አሁንም መልስ ውስጥ ተሞልቶ ሦስተኛው ዓምድ: "? እንዲሁም ከ 5"

እኛ ቀዶ ያለውን ቅደም ተከተል ይወስናል. ክህደት disjunction ቅድሚያ መሆኑን አስታውስ. ስለዚህ, እኛ ሁኔታ ጋር ተመሳሳይ መሆኑን እሴቶች መሙላት ቀጣዩ አምድ (አንድ ከ 6) አይደለም. በአራተኛው የእኛ ችግር ዋና ጥያቄ መልስ ይሆናል. ከዚህ በታች ያለውን ሰንጠረዥ በመሙላት አንድ ምሳሌ ተመልከት.

እኛ ምላሾች ቁጥር ያላቸው መሆኑን እባክዎ ልብ ይበሉ, አንድ ሐሰተኛ መግለጫ A = 5 አንድ እሴት, ይህ መልስ ሦስተኛው ስሪት ነው.