https://cienciaprogramada.com/tags/logic/ Recent content in logic on Ciência Programada Hugo -- gohugo.io en contato[@]cienciaprogramada.com.br (Francisco Bustamante) contato[@]cienciaprogramada.com.br (Francisco Bustamante) © 2026 Francisco Bustamante Thu, 18 Jun 2026 00:00:00 +0000 https://cienciaprogramada.com/2026/06/mathematical-induction/ Thu, 18 Jun 2026 00:00:00 +0000 contato[@]cienciaprogramada.com.br (Francisco Bustamante) https://cienciaprogramada.com/2026/06/mathematical-induction/ If the first domino falls and each domino knocks over the next, they all fall. That is the logic of the Principle of Mathematical Induction. We will see the structure of the proof (base case, hypothesis and step) in sums, divisibility and inequalities, and the false proof that all horses are the same color. https://cienciaprogramada.com/2026/06/venn-diagrams-set-operations/ Tue, 09 Jun 2026 00:00:00 +0000 contato[@]cienciaprogramada.com.br (Francisco Bustamante) https://cienciaprogramada.com/2026/06/venn-diagrams-set-operations/ Union, intersection, difference, and complement are the basic operations on sets, and they show up in SQL as UNION, INTERSECT, and EXCEPT. We see each one in Venn diagrams, along with De Morgan’s laws, distributivity, and the difference between a Venn diagram and an Euler diagram. https://cienciaprogramada.com/2026/06/sets/ Fri, 05 Jun 2026 00:00:00 +0000 contato[@]cienciaprogramada.com.br (Francisco Bustamante) https://cienciaprogramada.com/2026/06/sets/ The collection of tall people is not a set: there is no criterion that decides, for any person, whether they belong or not. We define set, membership, roster and set-builder descriptions, equality, inclusion, and the power set. https://cienciaprogramada.com/2026/06/discrete-mathematics-introduction-roadmap/ Thu, 04 Jun 2026 00:00:00 +0000 contato[@]cienciaprogramada.com.br (Francisco Bustamante) https://cienciaprogramada.com/2026/06/discrete-mathematics-introduction-roadmap/ In how many ways can you choose a valid password? What is the shortest path between two cities? These are questions of discrete mathematics. This roadmap introduces the site’s four series on the topic: sets, induction and recurrence, combinatorics, and graphs, with 28 articles. https://cienciaprogramada.com/2026/05/simplifying-logic-functions/ Wed, 27 May 2026 00:00:00 +0000 contato[@]cienciaprogramada.com.br (Francisco Bustamante) https://cienciaprogramada.com/2026/05/simplifying-logic-functions/ How do we go from a truth table to the leanest Boolean expression? We show three paths: the canonical forms with minterms and maxterms, algebraic simplification, and the Karnaugh map, with worked exercises and a check in Python with SymPy. https://cienciaprogramada.com/2026/05/boolean-algebra/ Wed, 20 May 2026 00:00:00 +0000 contato[@]cienciaprogramada.com.br (Francisco Bustamante) https://cienciaprogramada.com/2026/05/boolean-algebra/ Every operation of a processor can be described with three logical operations: AND, OR and NOT. We go from gates and truth tables to theorems, De Morgan’s laws and the simplification of expressions, with the half adder as the first circuit and examples in Python. https://cienciaprogramada.com/2026/04/real-numbers-base-conversion/ Wed, 01 Apr 2026 00:00:00 +0000 contato[@]cienciaprogramada.com.br (Francisco Bustamante) https://cienciaprogramada.com/2026/04/real-numbers-base-conversion/ Why doesn’t 0.1 plus 0.2 give 0.3? Because 0.1 is a repeating fraction in binary. We convert fractions between bases by successive multiplications, look at the bits of a float with struct, and see two practical ways out: integers for money and math.isclose for comparisons. https://cienciaprogramada.com/2026/03/bitwise-operators-masks-python/ Mon, 30 Mar 2026 00:00:00 +0000 contato[@]cienciaprogramada.com.br (Francisco Bustamante) https://cienciaprogramada.com/2026/03/bitwise-operators-masks-python/ In Python, 5 and 6 returns 6, and 5 & 6 returns 4. We explain the difference and the bitwise operators AND, OR, XOR, NOT and the shifts, used in masks that check, set, clear and toggle bits. In the end, we see where the 755 in chmod comes from. https://cienciaprogramada.com/2026/03/arithmetic-operations-number-bases/ Wed, 25 Mar 2026 00:00:00 +0000 contato[@]cienciaprogramada.com.br (Francisco Bustamante) https://cienciaprogramada.com/2026/03/arithmetic-operations-number-bases/ The addition and subtraction rules of base 10 hold in any base: only the value that triggers the carry changes. We do arithmetic in binary, octal, and hexadecimal, see why with three addends the carry can be worth 2, and implement both algorithms in Python. https://cienciaprogramada.com/2026/03/integer-bases-conversions/ Mon, 23 Mar 2026 00:00:00 +0000 contato[@]cienciaprogramada.com.br (Francisco Bustamante) https://cienciaprogramada.com/2026/03/integer-bases-conversions/ In any base, the value of the base itself is written 10. We start from positional notation to convert integers between decimal, binary, octal, and hexadecimal, using expansion, successive divisions, bit grouping, and Python’s bin, oct, hex, and int functions. https://cienciaprogramada.com/2021/12/logic-for-programmers/ Fri, 03 Dec 2021 00:00:00 +0000 contato[@]cienciaprogramada.com.br (Francisco Bustamante) https://cienciaprogramada.com/2021/12/logic-for-programmers/ In programming, the word “logic” can refer to the process of designing an algorithm, to the conditional structures of the language, or to logical operators such as AND and OR. In the last two cases, we are within what is called mathematical logic. https://cienciaprogramada.com/2021/08/short-circuit-in-python/ Mon, 16 Aug 2021 00:00:00 +0000 contato[@]cienciaprogramada.com.br (Francisco Bustamante) https://cienciaprogramada.com/2021/08/short-circuit-in-python/ The and and or operators are short-circuit operators, meaning that the second operand is only evaluated if the result cannot be determined from the value of the first operand alone. Confusing? Let’s look at some examples in this article.