కంప్యూటర్ లో సాధారణ తర్కం కార్యకలాపాలు

బైనరీ బోధన, అధ్యయనం కంప్యూటర్ సైన్స్ ప్రారంభమవుతుంది ఎవరికైనా సంఖ్య వ్యవస్థ. ఇది తార్కిక కార్యకలాపాలు లెక్కించడానికి ఉపయోగిస్తారు. క్రింది అన్ని చాలా ప్రాథమిక తార్కిక కంప్యూటర్ సైన్స్ లో కార్యకలాపాలు పరిగణించండి. అన్ని తరువాత, మీరు దాని గురించి అనుకుంటే, వారు కంప్యూటర్లు మరియు పరికరాల తర్కం సృష్టించడానికి ఉపయోగిస్తారు.

తిరస్కరణ

వివరాలు పరిగణలోకి ప్రారంభించటానికి ముందు నిర్దిష్ట ఉదాహరణలను జాబితా ప్రాథమిక తార్కిక కార్యకలాపాలు ఒక కంప్యూటర్ లో:

• తిరస్కరణ;
• అదనంగా;
• గుణకారం;
• పాటించండి
• సమానత్వం.

అలాగే, తర్కం కార్యకలాపాల అధ్యయనం ప్రారంభించటానికి ముందు కంప్యూటర్ సైన్స్ లో అని చెప్పబడినది క్ నియమించబడిన "0", కానీ నిజం "1".

ప్రతి చర్య, సాధారణ గణిత శాస్త్రంలో వంటి, కంప్యూటర్ సైన్స్ లో ఉపయోగిస్తారు తార్కిక కార్యకలాపాలు కింది సంకేతాలు: ¬, v, &, ->.

సాధ్యం ప్రతి చర్య ఏ సంఖ్యలు 1/0, లేదా కేవలం తార్కిక వ్యక్తీకరణ వివరించడానికి. కేవలం ఒక వేరియబుల్ ఉపయోగించి ఒక సాధారణ ఆపరేషన్ గణిత తర్కం పరిశీలనలో ప్రారంభించడానికి.

లాజికల్ వ్యతిరేకించడం - విలోమ ఆపరేషన్. సత్యం, విలోమ ఫలితం - - ఒక అబద్ధం బాటమ్ లైన్ ప్రారంభ వ్యక్తీకరణ ఉంటే ఉంటుంది. దీనికి విరుద్ధంగా, ప్రారంభ వ్యక్తీకరణ ఉంటే - నిజం - ఒక అబద్ధం, అప్పుడు ఫలితంగా ఒక విలోమ ఉంటుంది.

ఈ వ్యక్తీకరణ రాసేటప్పుడు మేము క్రింది notation "¬A" ఉపయోగించండి.

ఏ మూల డేటా నిర్వహించినప్పుడు అన్ని ఫలితాలను చూపే సర్క్యూట్ - మేము నిజం పట్టిక ఇవ్వాలని.

నిజమైన (1), అప్పుడు దాని యొక్క రుణాత్మక తప్పుగా (0) - అంటే అసలు వ్యక్తీకరణ కలిగి ఉంటే, ఉంది. మరియు, మొదటి వ్యక్తీకరణ - తప్పుడు (0), అప్పుడు దాని యొక్క రుణాత్మక - సత్యం (1).

అదనంగా

మిగిలిన కార్యకలాపాలు రెండు వేరియబుల్స్ అవసరం. ఒక వ్యక్తీకరణ సూచించడానికి - రెండవ - కంప్యూటర్ సూచిస్తుంది అదనంగా ఆపరేషన్ (లేదా disjunction), లేదా లో B. తార్కిక కార్యకలాపాలు పదం "లేదా" ద్వారా నియమించబడిన, లేదా "వి" మార్క్ తయారయ్యింది. డేటా మరియు లెక్కల ఫలితాలు కోసం సాధ్యమయ్యే ఎంపికలు వ్రాయండి.

1. E = 1, n = 1, అప్పుడు E v n = 1. రెండు వ్యక్తీకరణలు నిజమైన ఉంటే, అప్పుడు వారి disjunction కూడా వర్తిస్తుంది.
2. కనీసం వ్యక్తీకరణలు ఒకటి నిజమైన ఉంటే E = 0, n = 1, చివరికి E v = H 1 అప్పుడు E = 1, H = 0, E v N = 1., అప్పుడు వారి అదనంగా ఫలితంగా నిజం.
3. ఒక అబద్ధం - E = 0, H = 0, ఫలితంగా E v H = 0. రెండు వ్యక్తీకరణలు తప్పుడు ఉంటే, అప్పుడు వాటి మొత్తం కూడా ఉంది.

సంక్షిప్తత, మేము ఒక నిజం పట్టిక సృష్టించడానికి.

గుణకారం

అదనపు కార్యకలాపానికి విచారించింది తరువాత, గుణకారం (కలిపి) తరలించడానికి. మేము అదనంగా కోసం పైన ఇచ్చిన చేయబడ్డాయి అదే చిహ్నాలు, ఉపయోగించడానికి. ఒక తార్కిక గుణకారం రచన "&" గుర్తు లేదా లేఖ "నేను" తో సూచిస్తారు చేసినప్పుడు.

1. E = 1, n = 1, అప్పుడు E & H = 1. రెండు వ్యక్తీకరణలు నిజమైన ఉంటే, అప్పుడు వారి కలయికలో - నిజమైన.
2. వ్యక్తీకరణలు కనీసం ఒక - ఒక అబద్ధం, తరువాత తార్కిక గుణకారం యొక్క ఫలితం కూడా ఒక అబద్ధం ఉంది.

• E = 1, N = 0, కనుక E & H = 0.
• E = 0, n = 1, అప్పుడు E & H = 0.
• E = 0, H = 0, E & H = 0 మొత్తం.

ఫలితంగా

తార్కిక ఆపరేషన్ క్రమం (సూత్రప్రాయంగా) - సరళమైన గణిత తర్కం ఒకటి. ఇది ఒకే నిభందన ఆధారంగా - నిజం ఒక అబద్ధం అనుసరించండి కాదు.

1. E = 1, N =, కాబట్టి E -> N = 1. ఉంటే ఒక జంట ప్రేమలో, అప్పుడు వారు ముద్దు చేయవచ్చు - నిజం.
2. E = 0, n = 1, అప్పుడు E -> N = 1. ఒక జత క్రష్ లేదు ఉంటే, వారు ముద్దు చేయవచ్చు - కూడా నిజం కావచ్చు.
3. E = 0, H = 0, ఈ E -> జత ప్రేమలో లేకపోతే N = 1. అప్పుడు వారు ముద్దు లేదు - కూడా వర్తిస్తుంది.
4. E = 1, n = 0, ఫలితంగా E ఉంది -> 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))) -> B
5. ((A v (V & (¬V))) -> B) ≡A

ఈ ఉదాహరణ పరిష్కరించాలంటే, మనం విస్తరించిన సత్యం పట్టిక నిర్మించడానికి అవసరం. అది సృష్టించబడిన ఉన్నప్పుడు, నిలువు మంచి నిర్వహించారు దీనిలో మరియు చర్య అదే క్రమంలో ఉంచుతారు గుర్తుంచుకోవాలి.

మేము గమనిస్తే, నమూనా పరిష్కారం ఫలితంగా గత కాలమ్ ఉంటుంది. సత్యం పట్టిక ఏ సాధ్యం సోర్స్ డేటా సమస్య పరిష్కారానికి సహాయపడింది.

నిర్ధారణకు

ఈ వ్యాసంలో నేను కంప్యూటర్ సైన్స్, తర్కం క్రియల లక్షణాలను గణిత తర్కం యొక్క భావనలు, కొన్ని చర్చించాము, మరియు - వారి స్వంత తార్కిక కార్యకలాపాలు ఏమిటి. కొన్ని సాధారణ ఉదాహరణలు ఈ ప్రక్రియ సులభతరం గణిత తర్కం మరియు నిజం పట్టికలు సమస్యల పరిష్కారం కోసం ఇవ్వడం జరిగింది.