11.06.2013 Views

università degli studi di siena facoltà di scienze matematiche, fisiche ...

università degli studi di siena facoltà di scienze matematiche, fisiche ...

università degli studi di siena facoltà di scienze matematiche, fisiche ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Per ora la definizione è solo intuitiva (non considera la finitezza <strong>di</strong> A, il<br />

suo mancato or<strong>di</strong>namento, né l’eventualità che sia vuoto), ma ve<strong>di</strong>amo come<br />

può funzionare.<br />

Esempio 20 . Immaginiamo <strong>di</strong> avere un vincolo V sull’insieme U, ed un<br />

sottoinsieme A ⊆ U, vogliamo un operatore da cui derivi un vincolo che <strong>di</strong>a<br />

1 se e solo se V (a) = 1 ∀ a ∈ A. É questo il caso dell’operatore:<br />

0 1<br />

0 0 0<br />

1 0 1<br />

Non appena incontrerà un elemento per cui V <strong>di</strong>a risultato 0, il risultato<br />

delle operazioni sarà irrime<strong>di</strong>abilmente 0. ♦<br />

Esempio 21 Come sopra, solo che il vincolo su A deve dare 1 se ∃ a ∈ A<br />

tale che V (a) = 1 :<br />

0 1<br />

0 0 1<br />

1 1 1<br />

Il risultato delle operazioni sarà 0 solo se per nessun elemento <strong>di</strong> A avremo<br />

V (a) = 1. ♦<br />

É bene approfon<strong>di</strong>re l’argomento in merito ai possibili operatori binarî<br />

sull’insieme {0, 1}.<br />

Si è già visto come costruirli ed è subito evidente che in tutto potremo avere<br />

solo 2 4 possibilità <strong>di</strong> permutazioni. Scriviamole tutte, in<strong>di</strong>candole per ora solo<br />

con numeri romani e riservandoci <strong>di</strong> analizzarne le proprietà in un secondo<br />

momento.<br />

Definizione 17 . Definiamo tutti i possibili operatori binarî sull’insieme<br />

{0, 1}:<br />

I<br />

◦ =<br />

0 1<br />

0 0 0<br />

1 0 0<br />

II<br />

◦ =<br />

0 1<br />

0 0 0<br />

1 0 1<br />

25<br />

III<br />

◦ =<br />

0 1<br />

0 0 0<br />

1 1 0<br />

IV ◦ =<br />

0 1<br />

0 0 0<br />

1 1 1

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!