New posts in boolean-algebra

Functional completeness - Proving $\nLeftrightarrow$ is functionally complete

All finite boolean algebras have an even number of elements?

The ring of idempotents

A matrix w/integer eigenvalues and trigonometric identity

Saturated Boolean algebras in terms of model theory and in terms of partitions

Infinite distributive laws

Rationale behind truth values

Simplifying $A'B'C'D+A'B'CD+A'BC'D'+A'BC'D+A'BCD'+AB'C'D'+AB'C'D+ABC'D'+ABCD'+ABCD$ to $A'B'D+A'C'D+AB'C'+ABC+BD'$ (and another)

An "atom" in Boolean algebra

Example of use De Morgan Law and the plain English behind it.

Prove that the set {→, ¬} is functionally complete

Stone's Representation Theorem and The Compactness Theorem

Why do the projections of a von Neumann algebra not always constitute a Boolean algebra?

Examples of topologies in which all open sets are regular?

How can I extend a finitely additive measure?

How to prove that a set of logical connectives is functionally complete(incomplete)?

What are the algebras of the double powerset monad?

Assistance in completing the proof: (P → Q)∧(Q → R) is equivalent to (P → R)∧ [(P ↔ Q) ∨ (R ↔ Q)] using logical equivalencies

Can AND, OR and NOT be used to represent any truth table?

Find DNF and CNF of an expression