Algjebra propozicionale është një shkencë ekzakte që nuk bën kompromise. Për të zgjidhur shembuj me lidhje, ndarje, nënkuptim e kështu me radhë, mund të ndërtoni një tabelë të së vërtetës në aplikacionin Excel. Ai është i pajisur me një sërë funksionesh logjike që automatizojnë dhe lehtësojnë procesin e gjetjes së rezultatit.
Logjika matematikore: konceptet bazë
Aristoteli konsiderohet themeluesi i logjikës formale. Në shekullin e 17-të G. Leibniz sugjeroi futjen e simboleve për të përcaktuar pohimet. D. Buhl konsolidoi njohuritë e marra dhe për herë të parë shënoi fjali me simbole.
Skematikisht, "E VËRTETË" zëvendësohet me 1 dhe "FALSE" me 0.
Nën pohim kuptohet çdo fjali deklarative që jep çdo informacion dhe është e aftë të marrë vlerën e së vërtetës ose të pavërtetës. Në algjebër, logjikat abstraktohen nga ngarkesa semantike e fjalive dhe marrin parasysh vetëm vlerat logjike.
Negacioni është një shprehje e re që merr vlerën e vërtetë nëse është false dhe anasjelltas.
Lidhja e dyvevariablat quhet një fjali e re, e cila merr vlerën e së vërtetës në rastin e emërtimit të njëkohshëm "1" dhe falsitetit në situata të tjera.
Ndarja e dy pohimeve kuptohet si një shprehje e re që merr vlerën "FALSE" vetëm nëse ka "0" dhe "TRUE" në variacione të tjera në të njëjtën kohë.
Një nënkuptim i dy ndryshoreve është një fjali e re në të cilën:
- nëse premisa është e vërtetë dhe pasoja është e rreme, atëherë shprehja është e barabartë me "0";
- deklarata është e barabartë me "1" në raste të tjera.
Ekuivalenti i dy ndryshoreve kuptohet si një pohim i ri që merr vlerën e së vërtetës vetëm nëse elementët janë të njëjtë. Përndryshe, oferta është "0".
Vlerat logjike të shprehjeve zakonisht paraqiten në formë tabelare. Ekziston një emër tjetër për këtë lloj informacioni. Ata thonë se për një deklaratë ju duhet të ndërtoni një tabelë të së vërtetës. Ai specifikon vlerat fillestare për të gjitha variablat dhe më pas llogaritet rezultati i të gjithë shprehjes.
Algoritmi për zbatimin e llogaritjeve në operacionet logjike
Për të ndërtuar një tabelë të së vërtetës, duhet të dini rendin në të cilin kryhen veprimet. Në një shprehje me operandë të shumtë, llogaritja kryhet në rendin e mëposhtëm:
- inversion (negacion);
- lidhja (funksioni logjik në Excel "AND");
- disjunction (operator boolean në Excel "OR");
- implikim (pasojë);
- ekuivalencë.
Ka edhe dy operacione, por prioriteti i tyre nuk është i përcaktuar:
- goditja e Schaeffer;
- Shponi shigjetën.
Algoritmi i llogaritjes ndryshon nëse shprehja është e mbyllur në kllapa.
Rendi i ndërtimit të një forme tabelare për operandët logjikë në Excel
Para se të gjeni vlerën e një shprehjeje, duhet të studioni konceptin e një formule të algjebrës logjike. Përkufizimi thotë se kjo është një shprehje komplekse, e përbërë nga pohimet më të thjeshta të lidhura me operandë logjikë.
Shembull 1. Ndërtoni një tabelë të së vërtetës për lidhjen, ndarjen dhe mohimin.
Shembulli 2. Jepet një formulë për algjebrën e logjikës. Ndërtoni një tabelë të së vërtetës. Shembuj shembuj janë dhënë më poshtë.
Shembulli 3. Si të ndërtoni një tabelë të së vërtetës në Excel, duke pasur parasysh një formulë të algjebrës logjike në një përshkrim verbal. Duke thënë: "Nëse një trekëndësh është barabrinjës, atëherë të gjitha skajet e tij janë të barabarta ose të gjitha këndet e tij janë të barabarta."
Së pari, duhet të analizoni fjalinë e përbërë në elemente minimale:
- Pjesa e parë e shprehjes: A="trekëndësh barabrinjës".
- Second: B="të gjitha anët e figurës janë të barabarta".
- E treta: C="të gjithë këndet e një trekëndëshi janë të barabartë".
Pas kësaj, një shprehje përpilohet dhe zgjidhet në paketën softuerike Excel.
Kur përpiloni tabela të së vërtetës, është e rëndësishme të mbani mend radhën e veprimeve.
