Published articles

• Algebra of Propositions and Logical Equivalences

  Learn the algebra of propositions with essential logical equivalence laws, implication and biconditional identities, De Morgan’s laws, duality, and step-by-step truth table examples.

• Introduction to boolean algebra

  A clear introduction to Boolean algebra covering its fundamental laws, Boolean operations, subalgebras, duality, De Morgan’s theorems, truth tables, and basic logic gates.

• Converse, Contrapositive, Inverse, Negation & Derived Connectives

  Learn converse, inverse, contrapositive, negation of compound statements, and derived connectives like NAND, NOR, and XOR

• Introduction to Quantifiers and First Order Predicate Logic

  Here we will learn about the introduction to quanitifiers and predicate logic

• K-Map Simplification — Part 1

  Learn the fundamentals of K-Map simplification, including minterms, maxterms, canonical SOP and POS forms, truth-table conversion, and 2-variable K-Maps with step-by-step simplification examples.

• K-Map Simplification — Part 2

  Here we will learn about the 3 and 4 variables k map simplification.

• Propositional Logic: Statements, Connectives, Truth Tables

  Learn the fundamentals of propositional logic, including statements, logical connectives, truth tables and compound propositions.

• Tautologies, Well-Formed Formulae, Functional Completeness and Normal Forms

  Learn tautologies, contradictions, WFFs, functionally complete connectives, and normal forms including DNF and CNF.