Applicazione delle operazioni fra insiemi alla risoluzione di problemi di logica