• Non ci sono risultati.

` e un’algebra di Boole.

N/A
N/A
Protected

Academic year: 2021

Condividi "` e un’algebra di Boole."

Copied!
1
0
0

Testo completo

(1)

Algebra e logica. 7. Algebre di Boole. Roma, 22 aprile 2005.

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.

2. Dato un numero naturale n, si denoti D

n

= {m ∈ N : m divide n}. Supponiamo che n = p

1

· p

2

· · · p

k

dove i numeri p

i

sono primi distinti. Dato a ∈ D

n

, si definisca ¯ a =

na

.

(a) Verificare che (D

n

, mcd, mcm, ) ` e un’algebra di Boole con 2

k

elementi.

(b) Sia X = {p

1

, p

2

, . . . , p

k

}. Verificare che l’applicazione D

n

−→ P(X) che manda un divisore d di n nell’insieme dei suoi divisori primi, ` e un isomorfismo di algebre di Boole (ossia un’applicazione biiettiva che rispetta le operazioni delle due algebre).

3. Sia B l’insieme dei sottoinsiemi B ⊂ N che soddisfano una delle seguenti condizioni: la cardi- nalit` a di B ` e finita oppure la cardinalit` a del complementare di B ` e finita.

(a) Dimostrare che (B, ∩, ∪, ) ` e un’algebra di Boole numerabile.

4. Sia (A, ⊗, ⊕, ) l’algebra Booleana formata dalle terne A = {000, 010, 001, 100, 110, 101, 011, 111}

con le operazioni definite cifra per cifra da

0 ⊕ 0 = 0, 1 ⊕ 0 = 0 ⊕ 1 = 1 ⊕ 1 = 1, 1 ⊗ 1 = 1, 1 ⊗ 0 = 0 ⊗ 1 = 0 ⊗ 0 = 0,

¯ 0 = 1, ¯ 1 = 0.

(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.

5. Sia B un’algebra di Boole. Scriviamo x per il complemento di x ∈ B. Per x, y ∈ B defini- amo x ⊕ y = xy + xy. Siano x, y, z ∈ B. Dimostrare le seguenti uguaglianze o darne un controesempio.

(a) x ⊕ y = y ⊕ x;

(b) x ⊕ x = 0;

(c) x ⊕ y = (x + y)xy;

(d) x ⊕ (y ⊕ z) = (x ⊕ y) ⊕ z;

(e) x+(y ⊕z) = (x+y)⊕(x+z);

(f) x⊕(y +z) = (x⊕y)+(x⊕z).

6. Siano x, y, z, t variabili di un algebra di Boole. Scrivere le seguenti espressioni booleane come somma di prodotti. Scriverle anche in forma normale disgiuntiva.

(a) x

0

y((zt)

0

+ x

0

)

0

; (b) (x + x

0

y + xy

0

z)(x

0

z); (c) x + x

0

yz.

7. Siano x, y, z variabili di un algebra di Boole. Trovare espressioni minimali Booleane per:

(a) x

0

y + x

0

y

0

; (b) xy + xy

0

; (c) xy + xy

0

+ x

0

y + xy

0

; (d) xyz + xy

0

z + x

0

yz + x

0

y

0

z + x

0

y

0

z

0

. 8. Un prodotto fondamentale P si dice un implicante minimale oppure un implicante primo di un espressione booleana E quando si ha E + P = E, ma nello stesso tempo E + Q 6= E per ogni prodotto Q diverso da P presente in P .

Sia E = xy

0

+ xyz

0

+ x

0

yz

0

e sia P = xz

0

. (a) Far vedere che E + P = E.

(b) Dimostrare che x + E 6= E e z

0

+ E 6= E e concludere che P ` e un implicante minimale di E.

9. Scrivere le seguenti espressioni in un’algebra di Boole come somma di implicanti minimali:

(a) xyz +xy

0

z +x

0

yz +x

0

y

0

z +x

0

y

0

z

0

; (b) txyz

0

+tx

0

yz +tx

0

yz

0

+t

0

xyz +t

0

xy

0

z +t

0

x

0

yz +t

0

x

0

y

0

z.

Riferimenti

Documenti correlati

Individuare, se esistono, tutte e sole le soluzioni della pre- cedente equazione differenziale, il cui grafico `e tangente alla retta y = −3x,

“coordinate, si constata che le coppie di valori di A e B (di C e D) associate alle colonne (alle righe) sono ordinate in modo che tra due caselle adiacenti (della medesima riga

Far vedere che il diagramma di Hasse 14–29 nel libro di Schaum ` e

Si puo’ dire che una matrice A quadrata di ordine n e’ triangolare superiore se i soli elementi di A che possono essere diversi da zero sono quelli del tipo.. A(i, j), con i

Esercizi per l’esercitazione del

Un massimo o minimo vincolato per una funzione di due variabili è un massimo o minimo da ricercarsi non su tutto il dominio ma all'interno del sottoinsieme del dominio che

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

Nell'insieme delle città italiane è denita la relazione appartenere alla stessa regione.. E' una