gistfile1.txt

Um engenheiro ficou responsável por desenvolver um programa que verificasse se um número é primo através de quatro métodos 
distintos. Para otimizar o tempo de execução do programa, o engenheiro executou os métodos de forma paralela, utilizando 
threads, porém, ele percebeu que não era necessário aguardar todos os métodos finalizarem, mas apenas a maioria. Analisando 
mais a fundo, descobriu-se que o método A é ligeiramente mais confiável que os outros métodos, portanto, o resultado final 
poderia ser obtido quando dois métodos fossem finalizados, sendo um deles o método A. Caso contrário, o programa deverá 
continuar executando. A verificação se o programa deve encerrar deverá executar o mínimo de operações lógicas possíveis. 
(Dica: utilize o mapa de Karnaugh para efetuar a minimização da expressão lógica)