Esempi di analisi logica