Creeaza.com - informatii profesionale despre


Simplitatea lucrurilor complicate - Referate profesionale unice



Acasa » referate » matematica
Calcul propozitional

Calcul propozitional



Calcul propozitional

Legile si principiile care stau la baza algebrei logice sunt prezentate in continuare. Din cauza dualitatii existente intre operatiile logice “ ” si “ ” legile sunt prezentate in perechi echivalente.

1. Legile de idempotenta:

Un SI logic intre A si A are ca rezultat A: 0•0

Un SAU logic intre A si A are ca rezultat A: 0+0=0; 1+1=1

2. Legile de comutativitate:

Ordinea in care se aplica variabilele la intrarea unui SI logic este indiferenta.

Ordinea in care se aplica variabilele la intrarea unui SAU logic este indiferenta.

s

s

3. Legile de asociativitate:

La efectuarea unui SI logic intre mai multe variabile, modul de grupare a variabilelor este indiferent.

s

La efectuarea unui SAU logic intre mai multe variabile, modul de grupare a variabilelor este indiferent.

s

4. Legile de distributivitate:

s

s

5. Legile de absorbtie:

6. Legile elementului nul:

Un SI intre o variabila A si 0 este intotdeauna egal cu 0 indiferent de A.

Un SAU intre o variabila A si 1 este intotdeauna egal cu 1 indiferent de A.

7. Legile de identitate:

Un SI intre o variabila A si 1 este intotdeauna egal cu A.

Un SAU intre o variabila A si 0 este intotdeauna egal cu A.

8. Legile de complementaritate:

Un SI intre o variabila A si complementul ei este intotdeauna egal cu 0 indiferent de A.

Un SAU intre o variabila A si complementul ei este intotdeauna egal cu 1 indiferent de A.

9 Principiul dublei negatii:

O variabila negata de doua ori este egala cu varibila.

10. Teoremele lui De Morgan:

Formulele lui De Morgan dau posibilitatea de transformare a produsului logic in suma logica.

s

Intrari

Iesiri

A

B

AB

____

A+B

s

Intrari

Iesiri

A

B

A+B

AB

Teoremele lui De Morgan sunt valabile pentru un numar oarecare de variabile, astfel:

De asemenea fiecare variabila din expresie poate sa exprime o combinatie a altor variabile. Pentru exemplificare se prezinta modul de aplicare a teoremelor lui De Morgan asupra a doua functii X si Y :








Politica de confidentialitate

.com Copyright © 2020 - Toate drepturile rezervate.
Toate documentele au caracter informativ cu scop educational.


Proiecte

vezi toate proiectele
 PROIECT DE LECTIE Clasa: I Matematica - Adunarea si scaderea numerelor naturale de la 0 la 30, fara trecere peste ordin
 Proiect didactic Grupa: mijlocie - Consolidarea mersului in echilibru pe o linie trasata pe sol (30 cm)
 Redresor electronic automat pentru incarcarea bateriilor auto - proiect atestat
 Proiectarea instalatiilor de alimentare ale motoarelor cu aprindere prin scanteie cu carburator

Lucrari de diploma

vezi toate lucrarile de diploma
 Lucrare de diploma - eritrodermia psoriazica
 ACTIUNEA DIPLOMATICA A ROMANIEI LA CONFERINTA DE PACE DE LA PARIS (1946-1947)
 Proiect diploma Finante Banci - REALIZAREA INSPECTIEI FISCALE LA O SOCIETATE COMERCIALA
 Lucrare de diploma managementul firmei “diagnosticul si evaluarea firmei”

Lucrari licenta

vezi toate lucrarile de licenta
 CONTABILITATEA FINANCIARA TESTE GRILA LICENTA
 LUCRARE DE LICENTA - FACULTATEA DE EDUCATIE FIZICA SI SPORT
 Lucrare de licenta stiintele naturii siecologie - 'surse de poluare a clisurii dunarii”
 LUCRARE DE LICENTA - Gestiunea stocurilor de materii prime si materiale

Lucrari doctorat

vezi toate lucrarile de doctorat
 Doctorat - Modele dinamice de simulare ale accidentelor rutiere produse intre autovehicul si pieton
 Diagnosticul ecografic in unele afectiuni gastroduodenale si hepatobiliare la animalele de companie - TEZA DE DOCTORAT
 LUCRARE DE DOCTORAT ZOOTEHNIE - AMELIORARE - Estimarea valorii economice a caracterelor din obiectivul ameliorarii intr-o linie materna de porcine

Proiecte de atestat

vezi toate proiectele de atestat
 Proiect atestat informatica- Tehnician operator tehnica de calcul - Unitati de Stocare
 LUCRARE DE ATESTAT ELECTRONIST - TEHNICA DE CALCUL - Placa de baza
 ATESTAT PROFESIONAL LA INFORMATICA - programare FoxPro for Windows
 Proiect atestat tehnician in turism - carnaval la venezia




Vectori proprii. Valori proprii. Definitii. Proprietati
Teoria Grafurilor – Tema
FORMULE DE GEOMETRIE ANALITICA IN PLAN
Tetraedre Crelle
CODURI CONVOLUTIONALE
METODA INDUCTIEI MATEMATICE COMPLETE, ANALIZA COMBINATORIE, BINOMUL LUI NEWTON, SUME
Transformata z
Tetraedre izodinamice si izofaciale


Termeni si conditii
Contact
Creeaza si tu