Home/Algebra/Boolean algebra/Boolean equivalence25. Boolean algebraBoolean equivalenceLevel: intermedioIn 25. Boolean algebraFormulaCopy LaTeXF≡G ⟺ F and G tienen la misma tabla de verdadF\equiv G\iff F\text{ and }G\text{ tienen la misma tabla de verdad}F≡G⟺F and G tienen la misma tabla de verdadTagsalgebraboolean algebrabooleanCSalgebra formulaDetailCriterion for checking logical simplifications.Explore the ideaFound an error? Contact us.Related formulasRelatedDe Morgan's lawsA+B‾=AˉBˉ;AB‾=Aˉ+Bˉ\overline{A+B}=\bar A\bar B;\quad \overline{AB}=\bar A+\bar BA+B=AˉBˉ;AB=Aˉ+BˉOpen formulaOpen in sectionRelatedSum of productsF=Σm(i1,…,ik)F=\Sigma m(i_1,\ldots,i_k)F=Σm(i1,…,ik)Open formulaOpen in section