Vídeo 2 de uma série de 3 vídeos sobre a conversão de blocos de código (ou pseudo códigos de qualquer algoritmo) em seus correspondentes em um circuito simulado no aplicativo Logisim (ou em qualquer outro aplicativo simulador de circuitos lógicos).
Já se perguntou como um algoritmo simples se traduz em circuitos complexos? Junte-se a nós enquanto exploramos o fascinante mundo do Logisim e construímos um circuito do zero, preenchendo a lacuna entre código e hardware."
Orientado por Benefícios
Cansado de explicações teóricas? Aprenda a implementar algoritmos em hardware na prática usando o Logisim. Esta série de vídeos demonstra a construção de um circuito funcional, demonstrando o poder das portas lógicas na computação.
Do pseudocódigo abstrato a um circuito tangível, este vídeo leva você a uma jornada envolvente pelo mundo do Logisim. Veja como as portas lógicas se unem para executar o algoritmo, revelando uma compreensão mais profunda da computação.

Logisim codigo programacao para circuito

Vídeo 3, ao vivo, de uma série de 3 vídeos sobre a conversão de blocos de código (ou pseudo códigos de qualquer algoritmo) em seus correspondentes em um circuito simulado no aplicativo Logisim (ou em qualquer outro aplicativo simulador de circuitos lógicos).
Já se perguntou como um algoritmo simples se traduz em circuitos complexos? Junte-se a nós enquanto exploramos o fascinante mundo do Logisim e construímos um circuito do zero, preenchendo a lacuna entre código e hardware."
Orientado por Benefícios
Cansado de explicações teóricas? Aprenda a implementar algoritmos em hardware na prática usando o Logisim. Esta série de vídeos demonstra a construção de um circuito funcional, demonstrando o poder das portas lógicas na computação.
Do pseudocódigo abstrato a um circuito tangível, este vídeo leva você a uma jornada envolvente pelo mundo do Logisim. Veja como as portas lógicas se unem para executar o algoritmo, revelando uma compreensão mais profunda da computação.
Vídeo 1: https://youtube.com/shorts/NmO0O5u_Qvs?feature=share
Vídeo 2 : https://youtu.be/JQ_kUya-6Mk

Logisim : conversao de codigo programacao para circuito digital

Dando sequência à série de vídeos sobre simplificações lógicas, neste, apresento uma dica importante para verificação da validade de algum dos passos necessários à simplificação de uma expressão lógica. Utilizo o aplicativo Logisim para essa verificação. Ao final, faço à mão as simplificações dos 4 exemplos apresentados.

Dica simplificação lógica

Contém exercícios de simplificação de expressões lógicas.

Simplificacao Logica II

Vídeos sobre lógica em geral. # lógica , argumentação lógica , falácias , falacies , silogismos , reasoning , silogism analyser , validade lógica de argumentos , silogismos categóricos, silogismos categóricos da forma típica , display de sete segmentos , Logisim , simulador de circuitos lógicos

Lógica

Logica : apresento o mapa de Karnaugh, de 4 variáveis, pelos dois métodos : soma dos produtos e produto das somas. Além disso, apresento como criar uma expressão lógica completa a partir de uma tabela verdade.

Neste vídeo, damos continuidade ao conteúdo anterior sobre lógica digital. Usando um dos exemplos que analisamos, você vai aprender a construir expressões lógicas completas a partir de:

Soma dos produtos (SOP)

Produto das somas (POS)

Mapa de Karnaugh (K-map)

Código de Gray

Álgebra booleana simplificada

📚 O que você vai aprender neste vídeo:
🔸 Parte 1 – Soma dos Produtos (SOP)
Começamos com a construção da expressão lógica considerando os termos verdadeiros da tabela verdade (valores 1). Cada linha com resultado verdadeiro contribui com um termo para a expressão final.
✔️ Verificamos no CircuitVerse que a expressão gera a mesma tabela verdade da expressão original.

🔸 Parte 2 – Produto das Somas (POS)
Depois, aplicamos o método inverso: focamos nos resultados falsos (zeros) da função.
Cada termo nega as variáveis com valor 1, e mantém as que estão em zero.
✔️ Comprovamos novamente que a expressão final é logicamente equivalente.

🔸 Parte 3 – Código de Gray e Mapa de Karnaugh
Você verá como gerar uma tabela verdade com Código de Gray, que muda apenas um bit por linha – base fundamental do Mapa de Karnaugh.
Mostro passo a passo a geração da tabela com 4 variáveis e 16 linhas, e como adaptar os resultados para os mapas.

🔸 Parte 4 – Simplificação com o Mapa de Karnaugh
Explico como identificar agrupamentos de 1s (ou 0s) e eliminar variáveis com base nos padrões da tabela.
Você vai entender como agrupar por potências de 2 (1, 2, 4, 8...) e montar a expressão lógica simplificada.

Como Simplificar Expressões Lógicas com Karnaugh e Álgebra Booleana

Apresento técnicas de redução de linhas de códigos de controle de fluxo (ifs e elses) pela simplificação das correspondentes expressões lógicas. Utilizo para isso, principalmente, simuladores de circuitos lógicos, como o Circuit Verse e o Logisim, além de insights do chatGPT.

Reduza as linhas de código com a simplificação das expressões lógicas

Encontrei esse aplicativo simulador de circuitos lógicos online (CircuitVerse) e fiz algumas experimentações as quais compartilho neste vídeo.

Neste vídeo, apresento um novo simulador de circuitos lógicos online, semelhante ao LogicSim, mas com recursos ainda mais avançados! Mostro como criar um circuito básico com duas entradas e um display de 7 segmentos, demonstrando o funcionamento da lógica digital de forma clara e prática.

Durante o tutorial, exploro os principais componentes como portas lógicas, clock, e displays, e compartilho minha experiência inicial com a ferramenta. Também comento sobre alguns projetos públicos disponíveis na plataforma e a facilidade de adaptação para quem já utilizou o LogicSim.

👉 Ideal para iniciantes que estão dando os primeiros passos em eletrônica digital, lógica combinacional, ou circuitos simulados online.

✅ Inscreva-se no canal para mais tutoriais como este!
🔔 Ative o sininho para não perder os próximos vídeos!

Veja também:
https://youtu.be/KN2irf6UdZ8
https://youtu.be/jpGCFGxhxWE
https://youtu.be/KN2irf6UdZ8
Leia:
https://www.robertocsantosrj.eti.br/artigos/post49-faca-assim-para-simplificar-expressoes-logicas
https://www.robertocsantosrj.eti.br/artigos/post51-tecnicas-de-simplificacao-de-expressoes-logicas

Circuit Verse um simulador lógico online

Apresento algumas aplicações, com displays de sete segmentos, construídas no aplicativo simulador de circuitos lógicos Logisim.

Aplicações Display Sete Segmentos Logisim

Did you know that in our daily lives, we are often confronted with arguments that, while seemingly logical at first glance, are filled with cunning and deceptive fallacies? These fallacies can be subtle and difficult to detect, yet they can effectively influence our decisions and viewpoints. In any type of discussion or debate, it is crucial to identify when an argument isn’t as solid as it seems. This is where Formal Logic becomes a powerful ally. With the app you’ll discover in this video, you will have a technical and objective tool to analyze arguments and detect fallacies with precision. By studying categorical syllogisms in their typical forms, you’ll be able to identify where reasoning fails, helping you build stronger arguments and make more informed decisions.

Let’s consider an argument formed by the following terms, all of which are true:
Major premise: Every dog is a mammal;
Minor premise: No dog is a cat;
Conclusion: Every cat is a mammal.

Although all terms are true, syllogisms of the same form, specifically in the AEA3 mode, are invalid. This is because the conclusion does not follow from the premises. This type of syllogism falls into two problems: the fallacy of deriving an affirmative conclusion from a negative premise and the fallacy of an undue or inadequate conclusion.
To see this in the app, click on the button: "select syllogism," then type "cat" in the subject field, "mammal" in the predicate field, and "dog" in the middle term field. Finally, enter the mode A, E, A, 3 as seen in this presentation. The result will be displayed at the bottom, detailing each type of fallacy as well as the reasons why the argument is fallacious.

Now let’s consider the following argument, whose conclusion is easily verifiable as false in this example but may raise doubts in other contexts:
Major Premise: Every cat has issues with dogs;
Minor Premise: Every cat is a domestic animal;
Conclusion: Every domestic animal has issues with dogs.

To verify the fallacies in arguments of this type, specifically in AAA3 mode, input "domestic animal" as the subject, "has issues with dogs" as the predicate, and "cat" as the middle term. Then, select the AAA3 mode. You will see that the argument falls into the fallacy known as the Fallacy of the Illicit Minor Term.

Now, consider the following argument: "Some snakes are not dangerous animals, but all snakes are reptiles; therefore, some dangerous animals are not reptiles."

To verify the invalidity of this syllogism, input "dangerous animals" as the subject, "reptiles" as the predicate, and "snakes" as the middle term. Then configure the mode as AOO3. Notice that in the example, the author inverted the premises. The major premise appears on the second line, and the minor premise on the first line. Arguments of this form fall into the fallacy of the term distributed in the conclusion but not in the premises. The predicate is distributed in the conclusion but not in the major premise.

These examples are just a few of the many types of fallacies the app can help you identify. By using this tool, you can input different combinations of terms and modes to verify validity or identify fallacies in complex syllogisms that arise in your daily life. The app offers a practical, fast, and objective way to analyze arguments and helps you spot fallacies often difficult to detect at first glance.

With the app, you can objectively and technically analyze arguments and identify fallacies frequently used to manipulate people's reasoning. By doing so, you not only enhance your argumentation skills but also become more critical and aware of the information you receive and share. Formal logic will help you see beyond appearances, ensuring that you make well-informed and grounded decisions without being swayed by fallacious reasoning.

If you enjoy this kind of topic, don’t forget to leave a like, subscribe to the channel, and activate the notification bell to receive more content related to logical reasoning and programming in general.

See the app at
robertocsantosrj eti br (post24)

Free online Silogism analyser

Descubra como identificar falácias comuns em argumentos com uma ferramenta incrível! Neste vídeo, mostramos exemplos práticos de silogismos falaciosos e como analisá-los para fortalecer sua lógica e argumentação. Torne-se mais crítico e consciente em debates e decisões. Confira!
#Lógicaformal
#Falácias
#Argumentaçãológica
#Raciocíniocrítico
#Silogismos categóricos
#Ferramentalógica
#Debateinteligente
#Análisedeargumentos
#Pensamentocrítico
#Educaçãológica
Veja o aplicativo na seção de postagens (Postagens 23 e 24, respectivamente em português e em inglês) no portal 
robertocsantosrj eti br

Verificação de argumentos lógicos

Apresentamos nosso circuito lógico, projetado no aplicativo Logisim, que explora de forma interativa os 256 modos de silogismos categóricos, de forma típica, da lógica clássica e moderna. Este circuito teve por base doutrinária o capítulo VI do livro Introdução à Lógica, de Irving M. Copi, uma referência essencial para o estudo da lógica formal. Aqui, vamos demonstrar não apenas os modos, mas também apresentar a validação de cada um deles com base nas regras rigorosamente definidas por Copi. 

O circuito conta com um sistema dual de operação. No ciclo automático,  os 256 modos são apresentados em sequência, com suas identificações exibidas em displays de 7 segmentos. No modo manual, por outro lado, o usuário pode digitar qualquer modo diretamente para análise imediata.
Já no modo manual, o usuário pode inserir qualquer combinação de letras que represente um modo. Por exemplo, ao digitar "EAE-1", o circuito realiza todas as validações e, nesse caso, indica que é válido. 

Caso se digite um modo inválido, os LEDs indicam as regras que foram violadas, proporcionando uma experiência de aprendizado interativa e prática.
Cada silogismo é avaliado acordo com as regras de validação descritas por Copi. Como resultado dessa verificação, LEDs luminosos indicam se o modo é válido ou inválido. Toda a configuração se baseia nas figuras e os modos categóricos da forma típica.

Basicamente, as regras podem ser resumidas assim:

REGRA 1: Um silogismo categórico válido deve conter exatamente três termos, cada um dos quais deve ser usado no mesmo sentido durante todo o raciocínio ou argumento. O circuito não verifica esta regra.

REGRA 2: Num silogismo categórico válido de forma típica, o ter mo médio deve estar distribuido em, pelo menos, uma das premissas. 

REGRA 3: Num silogismo categórico válido de forma típica não pode haver na conclusão qualquer termo distribuído que não esteja também distribuído nas premissas.

REGRA 4: Nenhum silogismo categórico de forma típica que tenha duas premissas negativas é válido.

REGRA 5: Se uma ou outra das premissas de um silogismo categórico válido de forma típica é negativa, a conclusão deve ser negativa.

REGRA 6: Nenhum silogismo categórico válido de forma típica com uma conclusão particular pode ter duas premissas universais. Vale quanto à regra 6 o alerta de que a lógica clássica não considerava como inválidos os modos que incorriam nesta falácia, também conhecida como falácia existencial.

Este circuito é uma ferramenta única para estudantes e entusiastas da lógica formal e da montagem de circuitos digitais. 

Sua utilidade vai além do reforço no entendimento das regras dos silogismos categóricos, servindo como uma ferramenta interativa para validar argumentos categóricos de forma agradável e prática. 
Agradecemos por assistir à apresentação e esperamos que esta demonstração inspire novas formas criativas de explorar a lógica no mundo digital. Se gosta desse tipo de conteúdo, recomendamos clicar no sininho para receber informações de novos vídeos, além, é claro, de se inscrever no canal.

Circuito #Logisim Silogismos Categóricos Forma Típica

Olá, pessoal! Hoje vou mostrar um projeto incrível que fiz no Logisim: um display de três dígitos de sete segmentos cada que numera de 0 a 999. Você pode ver os números sendo atualizados em tempo real. O projeto tem dois botões: um para reverter a contagem e outro para reiniciar a contagem. Assim, você pode testar a numeração à vontade! O relógio de clock controla a velocidade da contagem. Essa parte é essencial para garantir que o display funcione corretamente. Se você gostou e gostaria de um vídeo completo explicando como montei este experimento, deixe um comentário aqui embaixo! Não se esqueça de se inscrever no canal, deixar seu like e ativar o sininho para não perder nenhum conteúdo. Até a próxima!