Aljebra Propositional ni sayansi kamili ambayo haiathiri. Ili kutatua mifano na kiunganishi, mtengano, maana, na kadhalika, unaweza kuunda jedwali la ukweli katika programu ya Excel. Ina utendakazi wa kimantiki ambao hujiendesha na kuwezesha mchakato wa kupata matokeo.
mantiki ya hisabati: dhana za kimsingi
Aristotle anachukuliwa kuwa mwanzilishi wa mantiki rasmi. Katika karne ya 17 G. Leibniz alipendekeza kuanzishwa kwa ishara ili kufafanua kauli. D. Buhl aliunganisha maarifa yaliyopatikana na kwa mara ya kwanza alitia alama sentensi kwa alama.
Kwa utaratibu, "TRUE" inabadilishwa na 1, na "FALSE" na 0.
Chini ya taarifa inaeleweka sentensi yoyote tangazo inayotoa taarifa yoyote na yenye uwezo wa kuchukua thamani ya ukweli au uwongo. Katika aljebra, mantiki imetolewa kutoka kwa mzigo wa kisemantiki wa sentensi na kuzingatia maadili ya kimantiki pekee.
Kanusho ni usemi mpya unaochukua thamani ya kweli ikiwa ni uongo na kinyume chake.
Muunganisho wa mbilivigeuzo huitwa sentensi mpya, ambayo huchukua thamani ya ukweli katika kesi ya jina "1" kwa wakati mmoja na uwongo katika hali zingine.
Mtengano wa kauli mbili unaeleweka kama usemi mpya unaochukua thamani "FALSE" ikiwa tu kuna "0" na "TRUE" katika tofauti zingine kwa wakati mmoja.
Kidokezo cha viambajengo viwili ni sentensi mpya ambamo:
- ikiwa dhana ni kweli na matokeo yake ni ya uwongo, basi usemi huo ni sawa na "0";
- taarifa ni sawa na "1" katika hali zingine.
Sawa na vigeu viwili vinaeleweka kama kauli mpya inayochukua thamani ya ukweli ikiwa tu vipengele ni sawa. Vinginevyo, ofa ni "0".
Thamani za kimantiki za misemo kwa kawaida huwasilishwa katika umbo la jedwali. Kuna jina lingine la aina hii ya habari. Wanasema kwamba kwa taarifa unahitaji kujenga meza ya ukweli. Inabainisha thamani za awali za vigeu vyote, na kisha matokeo ya usemi mzima huhesabiwa.
Algorithm ya kutekeleza hesabu katika utendakazi wa kimantiki
Ili kuunda jedwali la ukweli, unahitaji kujua mpangilio ambao vitendo hufanywa. Katika usemi wenye operesheni nyingi, hesabu hufanywa kwa mpangilio ufuatao:
- inversion (kukanusha);
- kiunganishi (utendaji wa kimantiki katika Excel "AND");
- disjunction (opereta ya boolean katika Excel "OR");
- madokezo (matokeo);
- usawa.
Kuna operesheni mbili zaidi, lakini kipaumbele chake hakijafafanuliwa:
- Schaeffer's stroke;
- Mshale wa kutoboa.
Algoriti ya kukokotoa inabadilika ikiwa usemi umewekwa kwenye mabano.
Mpangilio wa kuunda fomu ya jedwali kwa uendeshaji wa kimantiki katika Excel
Kabla ya kupata thamani ya usemi, unahitaji kujifunza dhana ya fomula ya kimantiki ya aljebra. Ufafanuzi unasema kuwa huu ni usemi changamano, unaojumuisha taarifa rahisi zaidi zilizounganishwa na utendaji wa kimantiki.
Mfano 1. Tengeneza jedwali la ukweli kwa viunganishi, mtengano na ukanushaji.
Mfano 2. Imetolewa fomula ya aljebra ya mantiki. Tengeneza meza ya ukweli. Mifano ya mifano imetolewa hapa chini.
Mfano 3. Jinsi ya kuunda jedwali la ukweli katika Excel, kutokana na fomula ya mantiki ya aljebra katika maelezo ya kimatamshi. Kusema: "Ikiwa pembetatu ni ya usawa, basi kingo zake zote ni sawa au pembe zake zote ni sawa."
Kwanza, unahitaji kuchanganua sentensi ambatani katika vipengele vidogo:
- Sehemu ya kwanza ya usemi: A="pembetatu ya usawa".
- Pili: B="pande zote za takwimu ni sawa".
- Tatu: C="pembe zote za pembetatu ni sawa".
Baada ya hapo, usemi unakusanywa na kutatuliwa katika kifurushi cha programu cha Excel.
Wakati wa kuandaa majedwali ya ukweli, ni muhimu kukumbuka mpangilio wa utendakazi.
