• Non ci sono risultati.

e un’algebra di Boole (verificare che sono soddisfatti gli assiomi)

N/A
N/A
Protected

Academic year: 2021

Condividi "e un’algebra di Boole (verificare che sono soddisfatti gli assiomi)"

Copied!
2
0
0

Testo completo

(1)

Elementi di Algebra e Logica 2008. 7. Algebre di Boole.

1. Sia X un insieme e sia P(X) l’insieme delle parti di X. Indichiamo con ∩, ∪ e rispettivamente le operazioni di intersezione, unione e complementare in P(X). Verificare che (P(X), ∩, ∪, )

`

e un’algebra di Boole (verificare che sono soddisfatti gli assiomi).

2. Dato un numero naturale n, si denoti Dn = {m ∈ N : m divide n}. Supponiamo che n = p1p2· pk sia prodotto di k primi distinti. Dato a ∈ Dn, si definisca ¯a := na.

(a) Verificare che (Dn, mcd, mcm, ) `e un’algebra di Boole con 2k elementi.

(b) Sia X = {p1, p2, . . . , pk}. Verificare che l’applicazione

f : Dn−→ P(X), k = pi1. . . piα 7→ {pi1, . . . , piα}

`e un isomorfismo di algebre di Boole (ossia un’applicazione biiettiva che rispetta le oper- azioni delle due algebre).

3. Sia dato l’insieme A = {0, 1} con le operazioni ⊕ , ⊗ e ¯ definite nel seguente modo:

0 ⊕ 0 = 0, 1 ⊕ 0 = 0 ⊕ 1 = 1, 1 ⊕ 1 = 1, 1 ⊗ 1 = 1, 1 ⊗ 0 = 0 ⊗ 1 = 0 ⊗ 0 = 0, ¯0 = 1, ¯1 = 0.

Dimostrare che (A, ⊗, ⊕, ) `e un’algebra Booleana (verificare che soddisfa gli assiomi).

4. Sia dato l’insieme A = {000, 010, 001, 100, 110, 101, 011, 111} con le operazioni definite cifra per cifra come nell’esercizio precedente

(a) Qual `e l’identit`a per ⊕?

(b) Qual `e l’identit`a per ⊗?

(c) Calcolare le seguenti espressioni:

(001 ⊗ 001) ⊕ 100 = . . . , (111 ⊕ 001) ⊕ 100 = . . . , (001 ⊗ 001) ⊕ 101 ⊗ 010 = . . . . (d) Dimostrare che (A, ⊗, ⊕, ) `e un’algebra Booleana (verificare che soddisfa gli assiomi).

(e) Un’algebra di Boole, con le stesse operazioni, `e anche un reticolo Booleano. Determinare la relazione di ordine parziale corrispondente, definita da x“ ≤ ”y se x ⊗ y = x.

5. Sia B l’insieme dei sottoinsiemi B ⊂ N che soddisfano una delle seguenti condizioni: la car- dinalit`a di B `e finita oppure la cardinalit`a del complementare di B `e finita. Dimostrare che (B, ∩, ∪, ) `e un’algebra di Boole.

6. Dimostrare che le algebre di Boole (P(N), ∩, ∪, ) e (P(R), ∩, ∪, ) non possono essere isomorfe.

7. Sia (P, ∧, ∨, ¬) l’algebra di Boole del calcolo proposizionale.

(a) Verificare che le operazioni ∧ e ∨ sono associative;

(b) Un’algebra di Boole, con le stesse operazioni, `e anche un reticolo Booleano. Verificare che la relazione di ordine parziale definita da A“ ≤ ”B se A ∧ B ⇔ A equivale a A“ ≤ ”B se A ⇒ B. In altre parole, verificare che gli enunciati A ∧ B ⇔ A e A ⇒ B sono logicamente equivalenti.

8. Sia (A, ⊗, ⊕, ) un’algebra Booleana.

(a) In un’algebra booleana valgono le Leggi di De Morgan:

(x ⊕ y) = x ⊗ y, x ⊗ y = x ⊕ y.

Enunciare Leggi di De Morgan per le algebre di Boole degli esercizi 1, 2 e 7.

(b) In un’algebra booleana valgono le Leggi di assorbimento:

1

(2)

a ⊗ (a ⊕ b) = a, a ⊕ a ⊗ b = a.

Enunciare Leggi di assorbimento per le algebre di Boole degli esercizi 1, 2 e 7.

(c) In un’algebra booleana valgono le Leggi di idempotenza:

a ⊕ a = a, a ⊗ a = a.

Enunciare Leggi di idempotenza per le algebre di Boole degli esercizi 1, 2 e 7.

9. In un’algebra di Boole (A, +, ·,0), dove x+y denota la somma di due elementi, xy il prodotto e x0 il complemento, scrivere ognuna delle seguenti espressioni come somma di prodotti completata:

(a) x0y((zt)0+ x0)0; (b) (x + x0y + xy0z)(x0z); (c) x + x0yz;

(d) (xy0)0(xz + yz0)0; (e) (xyz)0(x + y + z)0; (d) x(y + z)0+ y0(xz)0. 10. In un’algebra di Boole (A, +, ·,0),

(a) scrivere le seguenti espressioni come somma di prodotti completata:

x0y((zt)0+ x0)0; (b) (x + x0y + xy0z)(x0z); (c) x + x0yz.

(b) scrivere le seguenti espressioni come somma di implicanti primi:

xyz+xy0z+x0yz+x0y0z+x0y0z0; (b) txyz0+tx0yz+tx0yz0+t0xyz+t0xy0z+t0x0yz+t0x0y0z.

(c) scrivere le seguenti espressioni in forma minimale:

x0y + x0y0; (b) xy + xy0; (c) xy + xy0+ x0y + xy0; (d) xyz + xy0z + x0yz + x0y0z + x0y0z0.

11. Nell’algebra di Boole dell’esercizio 1, si considerino le espressioni booleane E(A, B, C) = A ∩ B[

A ∩ C, F (A, B, C) = A ∩ B ∩ C[ B.

(a) Disegnare i diagrammi di Venn delle due espressioni;

(b) Determinare se E ed F sono somma di implicanti primi (aiutarsi col disegno).

12. Nell’algebra di Boole dell’esercizio 7, si consideri l’espressione booleana E(A, B, C) = A ∨ ¬(A ∧ ¬B_

¬A ∧ B_

¬(B ∧ C)).

(a) Esprimere E(A, B, C) come somma di prodotti;

(b) Determinare un’espressione minimale di E(A, B, C).

13. In un’algebra di Boole (A, +, ·,0), siano date le espressioni

E : xy0z + y0z0+ xy0z0, F : xyz + x0y + xz.

(a) determinare se E ed F sono equivalenti;

(b) determinare se sono somma di implicanti primi;

(c) determinare se sono minimali.

2

Riferimenti

Documenti correlati

Occorre quindi mostrare che con l’utilizzo della sola porta NAND posso realizzare le tre funzioni AND, OR, NOT..

Grafo: c’è uno e un solo arco uscente da ogni vertice che rappresenta un elemento di A, Matrice: c’è uno ed un solo 1 su ogni riga.. INIETTIVA: se ogni b B ha al più

Teorema (Stone - caso generale): Ogni algebra di Boole è isomorfa a una sottoalgebra di Boole di un insieme delle parti (senza dimostrazione).. Funzioni booleane, polinomi

Teorema (Stone - caso finito): Ogni algebra di Boole finita è isomorfa all'insieme delle parti dell'insieme dei suoi atomi.. Corollario: Ogni algebra di Boole finita è

Sistemi di equazioni congruenziali; il Teorema Cinese del Resto (senza dimostrazione).. Diagramma di

Il Metodo del Consenso: algoritmo di calcolo della somma di tutti gli implicanti primi di un polinomio booleano in n variabili (senza dimostrazione).. Calcolo di una forma

Costruzione dei numeri interi (a partire dai naturali); valore assoluto, operazioni, ordinamento;..

In altre parole, esibire un reticolo L tale che esiste un elemento a ∈ L avente due diverse decomposizioni irridondanti in elementi