Formule matematiche

Algebra

Materie Home Cerca

Sezioni

1Numeri e proprietà algebriche
2Potenze, esponenti e radicali
3Espressioni algebriche
4Prodotti e identità notevoli
5Fattorizzazione
6Espressioni razionali e frazioni parziali
7Equazioni
8Disuguaglianze
9Sistemi di equazioni
10Caratteristiche
11Polinomi
12Esponenziali e logaritmi
13Numeri complessi
14Successioni, serie finite e ricorsioni
15Vettori
16Matrici
17Determinanti e inversi
18Spazi vettoriali
19Trasformazioni lineari
20Autovalori e diagonalizzazione
21Ortogonalità e proiezioni
22Minimi quadrati
23Scomposizioni di matrici
24Norme e condizionamenti della matrice
25Algebra booleana
26Aritmetica modulare
27Strutture algebriche
28Codici lineari e correzione degli errori
29Mappe relazionali

Cerca formule…

Lingua

Caricamento sezione…

Formule matematiche · contenuto via API · Materie

Chi siamo Recensioni Contatti

Materie
Algebra
Algebra booleana

Sezione 25

Algebra booleana

Identità booleane

fondamentaleviz

A + 0 = A; A 1 = A; A + 1 = 1; A 0 = 0

Identità di base di OR e AND.

Vedi dettaglio →

Idempotenza e complemento

fondamentaleviz

A + A = A; AA = A; A + \overset{ˉ}{A} = 1; A \overset{ˉ}{A} = 0

Regole essenziali di semplificazione booleana.

Vedi dettaglio →

Distributività booleana

fondamentaleviz

A (B + C) = A B + A C; A + B C = (A + B) (A + C)

Algebra distributiva per la logica.

Vedi dettaglio →

Le leggi di De Morgan

fondamentaleviz

\overline{A + B} = \overset{ˉ}{A} \overset{ˉ}{B}; \overline{A B} = \overset{ˉ}{A} + \overset{ˉ}{B}

Trasforma le negazioni di OR e AND.

Vedi dettaglio →

fondamentaleviz

A \oplus B = \overset{ˉ}{A} B + A \overset{ˉ}{B}

È vero quando esattamente una voce è vera.

Vedi dettaglio →

fondamentaleviz

A + A B = A; A (A + B) = A

Semplifica le espressioni ridondanti.

Vedi dettaglio →

Somma dei prodotti

intermedioviz

F = Σ m (i_{1}, \dots, i_{k})

Forma canonica come OR di minterms.

Vedi dettaglio →

Prodotto di somme

intermedioviz

F = Π M (i_{1}, \dots, i_{k})

Forma canonica come AND di maxterms.

Vedi dettaglio →

Equivalenza booleana

intermedioviz

F \equiv G ⟺ F y G tienen la misma tabla de verdad

Criterio di verifica delle semplificazioni logiche.

Vedi dettaglio →