Leghji value

impianti Modern basatu nantu "antichi" impianti ilittronica, à s'appoghjanu nant'à certi Postulate cum'è principii fundamentali di funziunamentu. Sò chjamati i leghji di l 'àlgibbra di lòggica. Lu primu comu disciplina ha statu discrittu (di sicuru micca cum'è info cum'è in a so forma, presente) da l 'antichi grecitati Aristòtili.

Rapprisenta nu ramu siparata di la matimàtica chi studia lu calculu prupusizziunali, àlgibbra di lòggica hà un numeru di scuperti e cuegghiè bè urientata-.

In ordine à capisce megliu u tema, abbatte cuncetti chì vi aiuta in u futuru à cunnosce i leghji di l 'àlgibbra di lòggica.

Forsi la palora principali in i disciplina studiu - affirmazioni. Stu tipu di affirmazioni chì ùn pò esse à tempu veru è falzi. Si sempre stu mondu in solu una di sti caratteri. Cusì quellu conditionally accettatu valori a verità 1 falsity - 0, 'na frasi d' iddu stissu qualchi lettera latinu: A, B, C. In autri paroli, la fòrmula A = 1 significa ca lu pattu di A hè vera. Cù affirmazioni pò vene in parechje manere sfarente. A brevi ochju à l 'azzioni ca si pò fà cun elli. Nota dinù chì i leghji di l 'àlgibbra di a logica hè impussibile à amparà senza sapiri i reguli.

1. U disjunction di dui prucessi verbali - u risultatu di u funziunamentu di "o". Si pò esse o fàusi o veri. Si usa u simbulu «TB».

2. cunghjunzione. U risultatu di sti prudigi, ingagiatu cu dui affirmazioni, serà una nova affirmazioni è veru solu siddu dui prucessi verbali sò veri uriginale. Aduprà "è" quessu, u simbulu "*".

3. cunchiùdiri. Internet "se A, tandu B". U risultatu hè un manifestu, falzi solu s'ellu A verità, è munzignarii B. simbulu appiecà "->".

4. U sautari. Internet «A se e sulu se V quandu." Stu manifestu è veru quandu dui variàbbili hannu lu stissu griglia. Aduprà lu sìmmulu "<->".

Ci hè dinù una seria di funziunamentu, simile à a cunchiùdiri, ma a stu articulu, è ùn sarete cunsideratu.

Ch'e no guardà cù minuzia i leghji di basi di l 'àlgibbra di a logica:

1. U stati commutative è commutative chì un cambiamentu in termini di funziunamentu di u penseru logicu di cunghjunzione, o disjunction nel u risultatu di nuddu effettu.

2. associative o associative. Sicondu a stu drittu, la variàbbili in u funziunamentu di cunghjunzione è disjunction pò ricugghieru.

3. A distribuzioni, o distribuzioni. L'essenza di u drittu hè chì u listessu lucale in lu iquazziona pò esse fattu fora di u mènzuli, ùn cambia la lòggica.

4. A lege de Morgan (un'inversione o négation). U funziunamentu négation hè equivalenti a lu disjunction di e variàbili entrée a cunghjunzione négation. U négation di u disjunction, a turnu, hè uguali à a cunghjunzione di u négation di u listessu variàbbili.

5. Double Negative. Temperance di un manifestu risultati volte à l 'affirmazioni uriginale, trè volte - u so nigazziunismu.

6. Law idempotency sicuenti di agghiunta logica: xvxvxvx = X; di municipal: x ^ X ^ X ^ = x.

7. A lege di non-contradizioni stati: dui affirmazioni, si sò contradictory, à u listessu tempu esse vera ùn pò.

8. A lege di u terzu esclusu. À mezu à i dui affirmazioni contradictory unu - hè sempre vera, è un altru - i falzi, ùn ci hè micca a terza.

9. lege absorption ponu esse scritti in un tali modu à Campu Tondu logica: XV (x ^ y) = x, per municipal: x ^ (xvy) = x.

10. A lege signature. Dui congiunzioni cunfinanti sò capaci à sguassà nsemmula, furmendu una cunghjunzione di rangu bassa. Quandu sta hè a variàbile in u quali l 'congiunzioni uriginale vuccuzza sparisci. Esempiu di agghiunta ghjusta:

(X ^ Y) v (-x ^ y) = Y.

Avemu cunsideratu solu i leghji più cumuna di u àlgibbra di a logica, chì in fattu pò esse assai di più, comu hè à spessu l 'equazioni romanu divintari longa e pieve si prisintò, chì ponu esse tagliata da entrata un numaru di li liggi listessu.

Comu regula, per l 'altra di cuntari e identificà i risultati cù tavule spiciali. Tutti i codici attuali di u àlgibbra di a logica, a tavula unni havi la struttura generale di u rectángulo scacchi pittatu da Aquaculture ogni variàbbili in una cellula siparati. A più grande u iquazzioni, u più fàciule è à risista cun ella, cù u tavulinu.