Kev qhia txog lej lej yog ib qho kev tshawb fawb tseeb uas tsis muaj kev cuam tshuam. Txhawm rau daws cov piv txwv nrog kev sib txuas, kev sib cais, kev cuam tshuam, thiab lwm yam, koj tuaj yeem tsim cov lus tseeb hauv Excel daim ntawv thov. Nws yog txawm peem rau nrog ib tug txheej ntawm logical functions uas automate thiab pab txoj kev nrhiav tau qhov tshwm sim.
lej logic: cov ntsiab lus yooj yim
Aristotle yog suav tias yog tus tsim ntawm kev cai logic. Nyob rau hauv lub xyoo pua 17th G. Leibniz tau tawm tswv yim qhia cov cim los txhais cov lus. D. Buhl tau sau cov kev paub uas tau txais thiab thawj zaug cim kab lus nrog cov cim.
Schematically, "TRUE" yog hloov los ntawm 1, thiab "FALSE" los ntawm 0.
Raws li nqe lus tau nkag siab txhua kab lus tshaj tawm uas muab cov ntaub ntawv thiab muaj peev xwm coj tus nqi ntawm qhov tseeb lossis qhov tsis tseeb. Nyob rau hauv algebra, logics yog abstracted los ntawm semantic load ntawm kab lus thiab txiav txim siab tsuas yog lub ntsiab lus tseem ceeb.
Neegation yog ib qho kev qhia tshiab uas siv tus nqi ntawm qhov tseeb yog tias nws tsis tseeb thiab rov ua dua.
Kev sib txuas ntawm obvariables yog hu ua kab lus tshiab, uas yuav siv tus nqi ntawm qhov tseeb nyob rau hauv cov ntaub ntawv ntawm ib txhij xaiv "1" thiab falsity nyob rau hauv lwm yam xwm txheej.
Qhov kev tsis sib haum xeeb ntawm ob nqe lus tau nkag siab tias yog ib qho kev qhia tshiab uas siv tus nqi "FALSE" nkaus xwb yog tias muaj "0" thiab "TRUE" hauv lwm qhov kev hloov pauv tib lub sijhawm.
Ib qhov cuam tshuam ntawm ob qhov sib txawv yog kab lus tshiab uas:
- yog tias qhov chaw muaj tseeb thiab qhov tshwm sim tsis tseeb, ces qhov kev qhia sib npaug "0";
- nqe lus sib npaug "1" hauv lwm qhov xwm txheej.
Sib npaug ntawm ob qhov sib txawv tau nkag siab tias yog nqe lus tshiab uas siv tus nqi ntawm qhov tseeb tsuas yog cov ntsiab lus tib yam nkaus xwb. Txwv tsis pub, qhov kev thov yog "0".
Logical qhov tseem ceeb ntawm cov kab lus feem ntau yog nthuav tawm hauv daim ntawv tabular. Muaj lwm lub npe rau cov ntaub ntawv zoo li no. Lawv hais tias rau ib nqe lus koj yuav tsum tsim lub rooj tseeb. Nws qhia txog qhov tseem ceeb thawj zaug rau txhua qhov sib txawv, thiab tom qab ntawd cov txiaj ntsig ntawm tag nrho cov lus qhia suav nrog.
Algorithm rau kev siv cov lej hauv kev ua haujlwm zoo
txhawm rau tsim lub rooj qhov tseeb, koj yuav tsum paub qhov kev txiav txim uas tau ua. Nyob rau hauv ib qho kev qhia nrog ntau tus neeg ua haujlwm, kev suav yog ua raws li hauv qab no:
- inversion (negation);
- sib txuas (kev ua haujlwm hauv Excel "AND");
- disjunction (boolean tus neeg teb xov tooj hauv Excel "OR");
- qhov cuam tshuam (qhov tshwm sim);
- sib npaug.
Muaj ob txoj haujlwm ntxiv, tab sis lawv qhov tseem ceeb tsis tau txhais:
- Schaeffer's stroke;
- Pierce xub.
Tus lej algorithm hloov pauv yog tias qhov qhia tau muab kaw rau hauv cov kab ke.
Qhov kev txiav txim ntawm kev tsim daim ntawv tabular rau kev ua haujlwm hauv Excel
Ua ntej nrhiav tus nqi ntawm qhov kev qhia, koj yuav tsum kawm lub tswv yim ntawm cov qauv ntawm cov lej logic algebra. Lub ntsiab txhais tau hais tias qhov no yog ib qho kev qhia nyuaj, suav nrog cov nqe lus yooj yim tshaj plaws uas txuas nrog cov neeg ua haujlwm logical.
Piv txwv 1. Tsim lub rooj tseeb rau kev sib txuas, kev sib cais thiab kev tsis pom zoo.
Piv txwv 2. Muab cov qauv rau cov lej ntawm cov lej. Ua ib lub rooj tseeb. Cov piv txwv muaj nyob hauv qab no.
Piv txwv 3. Yuav ua li cas los tsim lub rooj tseeb hauv Excel, muab cov qauv ntawm cov lej ntawm cov lej hauv cov lus piav qhia. Hais tias: "Yog ib daim duab peb sab sib npaug, ces tag nrho nws cov npoo yog sib npaug los yog tag nrho nws cov ces kaum sib npaug."
Ua ntej, koj yuav tsum txheeb cov kab lus sib xyaw ua cov ntsiab lus tsawg:
- Thawj ntu ntawm qhov kev qhia: A="daim duab peb sab sib npaug".
- Second: B="tag nrho cov sab ntawm daim duab yog sib npaug".
- Third: C="tag nrho cov ces kaum ntawm daim duab peb sab sib npaug".
Tom qab ntawd, ib qho kev qhia tau muab tso ua ke thiab daws hauv Excel software pob.
Thaum sau cov lus tseeb, nws tseem ceeb heev kom nco ntsoov qhov kev txiav txim ntawm kev ua haujlwm.
