Computer Engineering - Logica e Algebra

Full exam

Logica e Algebra - 3 Febbraio 2022 - SPASS Cognome:Nome:Codice persona: L'esercizio va svolto su questo foglio: nello spazio sotto il testo e sul retro la parte di SPASS. Eventuali fogli di brutta non devono essere consegnati e non verranno ritirati. I compiti privi di indicazione di nome e cognome NON verranno corretti. ˆSi consideri una rete di comunicazione su di un insieme di nodiXcomposto di due tipi: tipoAe tipoB. Possiamo modellare tale rete mediante una relazione binariaRsuXpriva di autoanelli (o cappi) in cui un arco collega due nodi se il canale di comunicazione tra questi due e aperto. Un canale di comunicazione si apre solo tra due nodi di tipo diverso. Si sa anche che la reteRe transitiva e che ogni nodo di tipoBe in comunicazione con almeno un altro nodo. Vericare che esiste almeno un nodo di tipoAche non e in comunicazione con nessun altro.