An algutitimu di custruisce i toli a verità di sprissioni ghjusta

Oghje, in stu testu hà da esse discutitu in tecnica u scopu di custruisce un tavulinu a verità di sprissioni ghjusta. Cù stu prublemu à spessu hà scontru i studienti chì dà l 'esame statu unificatu in nfurmàtica. In fatti, u cusì-chiamatu àlgibbra value ùn hè micca cumplicatu s'è vo sapiri i leghji nicissariu, funziunamentu è e règule per custruisce toli a verità. Quessi sò i quistioni si nni jemu a fari oghje.

àlgibbra value

lòggica 'àlgibbra basatu nantu sèmplice sprissioni ghjusta, chì sò funziunamentu value, criannu una sprissioni cumplessi. Nutate bè chì àlgibbra value c'hè dui opérations binariu: aghjunta è municipal (è disjunction di cunghjunzione, rispittivamenti); un unari - un'inversione. Tutti i semplici sprissioni (elementi di un cumplessu sprissioni ghjusta) pigghiari unu di i dui valori: "1", o "0", "veru" o "sbagliate", "+", o "-" rispittivamenti.

àlgibbra di a logica hè basatu nantu à uni pochi di axioms abbastanza sèmplice:

• associativity;
• hè commutative;
• absorption;
• distributivity;
• FANCIULLE.

Sè vo sapiri sti liggi e 'ordine di e funzioni, custruenduvi na tavula a verità di sprissioni ghjusta ùn vi causari ogni difficultà. Rammentu chì u funziunamentu deve esse sonau in s'imponi siquenza: négation, municipal, ambition, quista, sautari, solu dopu à bon à risturanti Schiffer o di ghjusta nè funziunamentu. By lu modu, di l 'urtimi dui funzioni sò senza nessune regule di priurità, à usu elli in lu modu in cui si trovanu.

Regulamentu di criazzioni i verbi

Custruisce un tavulinu a verità di sprissioni ghjusta aiuta scioglie parechji prublemi logica è truvà suluzioni à esempi piglià troppu cumplicatu. Hè da nutà chì ci sò certi reguli di e so donne.

In ordine di fà bè un tavulinu romanu, hè necessariu di principià à definisce u numeru di filari. How to do it? Conti u numeru di e variàbili chì creanu un 'esprissioni cumplessa, è aduprà a sèmplice fòrmula: A = 2 à u putere n. E - chistu è u numaru di filari in i verbi cumpilatu da a verità, n - hè u numeru di e variàbili chì sò parti di un cumplessu sprissioni ghjusta.

Esempiu: cumplessu sprissioni cuntene trè variàbbili (A, B e C), puis un Marque mala deve esse custruitu à u terzu gradu. B hè a tavula a verità noi vi hannu ottu lìnii. Aggiungi una ligna di u titulu di u Colonna.

Next, avemu persu a nostra spressione è definisce u scopu di azzione tutu. Megliu ordine per elli un Marque crayon (unu, dui, è cetara è cetara).

U passu prossimu noi di calculari lu numaru di funziunamentu. U numaru isciutu - u numeru di colonne, in u nostru tavulinu. Esse sicuru d 'aghjunghje ancu un numeru di culunnati duppiu cum'è variàbili cuntenute in i vostri termini, di inchiri u pussibili cumminazzioni di e variàbili.

Next, vi tuccherà à inchiri lu birrettu di u nostru tavulinu. Sottu vi vede un esempiu di sta.

Avà viaghjà à i ripieno di pussibili cumminazzioni. Di dui variàbbili, ch'elli sò a siguenti: 00, 01, 10, 11 per trè variàbili: 000, 001, 010, 011, 100, 101, 110, 111.

Dopu tutte e voci, sopra-mintuvà pò viaghjà à u calculu di a cullezzione Leoni e inchiri lu tavulinu favurèvuli.

esempiu

Avemu oghje guardà u esempiu di custruisce un tavulinu di i sprissioni ghjusta è veru: l 'un'inversione di A + B * A.

1. Conti variàbili: 2. numeru di ligne: 4 + 1 = 5.
2. L'ordine esicuzzioni di azzione: a prima un'inversione, secunnu cunghjunzione, disjunction terzu.
3. Numaru di colonne: 3 + 2 = 5.
4. Escia un tracing in e verbi inchiri.

Comu regula, u impiegu corsu like this: "Quanti cumminazzioni satisfies F = 0", o "a chiddu cumminazzioni F = 1". On a prima quistione a risposta - 1, u sicondu - 00, 01, 11.

leghje cun primura u travagliu chì vi sò dati. Pudete scioglie bè u prublema, ma à fà un colpu a scriviri la risposta. Una volta torna I piglià a vostra primura, à l 'ordine di l' azzioni:

• nigava;
• municipal;
• Campu Tondu.

compitu

Custruisce un tavulinu a verità ponu aiutà à truvà a risposta à una bella prublema romanu. Piglià u prucessu di a preparazione di spressione è a tavula a verità di i cundizioni di l'affari romanu puderete in sta rùbbrica di l 'articulu.

Datu quattru valori di A: 1), 7 2) 6, 3), 5, 4) 4. Chì qualchi d 'iddi lu "un'inversione (urigginariu A 6) + (menu di 5 A)" affirmazioni hè gattiva?

A nostra prima colonna sarà pienu di valori 7, 6, 5, 4 nicissarii in sta sequenza. In la culonna prossimu, ci vole risponde à a quistione: "? È menu cà 6" U terzu Colonna pienu in u listessu, solu avà a risposta à a quistione: "? È menu cà 5"

Avemu darà la siquenza di funziunamentu. Ùn vi scurdate chì u nigava pigghia precede disjunction. Cusì, i Colonna dopu avemu cumpleti in i valori chì currisponde à a sola cundizione ùn hè micca (A menu chè 6). U quartu vi risponde à a quistione maiò di u nostru prublemu. Sottu vi vede un esempiu di inchiri u tavulinu.

Da nutà chì avemu numari di risposti, una gattiva sprissioni hè un valore di A = 5, issa hè a terza versione di u risposta.