List questions from boolean-algebra | MathQA

Show that ($\lnot$q $\implies$ p) $\implies$ (p $\implies$ $\lnot$q) $\equiv$ ($\lnot$p $\lor$ $\lnot$q) using the conditional-disjunction equivalence

Published on 07 Nov 2020 - 8:38

How to formally write "Let $X$ take on the value of TRUTH"?

Published on 11 Apr 2026 - 8:15

How do you show Tonelli’s theorem can fail in the σ-nonfinite case, and also that product measure does not need to be unique.

Published on 11 Nov 2020 - 2:55

Simplify Boolean expression $A'B'C'D' + A'B'CD + A'B'CD' + AB'CD' + AB'C'D'$

Published on 11 Nov 2020 - 11:56

Boolean Algebra with new definition

Published on 08 Apr 2026 - 17:11

Boolean functions satisfying a condition

Published on 12 Nov 2020 - 10:51

Simplify $xyz’w’+xy’zw+xyz’w+xy’z’w’+xy’z’w+zw’xy’$

Published on 12 Nov 2020 - 15:18

Circuit for light fixtures controlled by more than one switch.

Published on 14 Nov 2020 - 14:19

How to prove that a given disjunctive or conjuctive normal form is minimal?

Published on 25 Mar 2026 - 17:26

What is a "symmetric Boolean function"?

Published on 09 Apr 2026 - 0:38

Proof for tautology using rule of inference.

Published on 11 Apr 2026 - 3:45

Prove the following holds for all Boolean algebras?

Published on 10 Apr 2026 - 20:08

How do I prove this logical equivalence?

Published on 10 Apr 2026 - 11:05

Canonical disjunctive normal form in Boolean algebra

Published on 19 Nov 2020 - 10:37

Find if a set fits another set, by applying its correspondent score to an equation?

Published on 19 Nov 2020 - 22:08