Newbetuts
.
New posts in boolean-algebra
Functional completeness - Proving $\nLeftrightarrow$ is functionally complete
logic
boolean-algebra
All finite boolean algebras have an even number of elements?
boolean-algebra
The ring of idempotents
ring-theory
category-theory
boolean-algebra
A matrix w/integer eigenvalues and trigonometric identity
matrices
trigonometry
eigenvalues-eigenvectors
boolean-algebra
natural-numbers
Saturated Boolean algebras in terms of model theory and in terms of partitions
logic
set-theory
model-theory
boolean-algebra
Infinite distributive laws
boolean-algebra
Rationale behind truth values
soft-question
boolean-algebra
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)
boolean-algebra
An "atom" in Boolean algebra
abstract-algebra
group-theory
ring-theory
boolean-algebra
Example of use De Morgan Law and the plain English behind it.
logic
propositional-calculus
boolean-algebra
Prove that the set {→, ¬} is functionally complete
logic
boolean-algebra
Stone's Representation Theorem and The Compactness Theorem
set-theory
category-theory
axiom-of-choice
boolean-algebra
Why do the projections of a von Neumann algebra not always constitute a Boolean algebra?
boolean-algebra
von-neumann-algebras
Examples of topologies in which all open sets are regular?
general-topology
boolean-algebra
How can I extend a finitely additive measure?
measure-theory
boolean-algebra
How to prove that a set of logical connectives is functionally complete(incomplete)?
logic
boolean-algebra
What are the algebras of the double powerset monad?
category-theory
boolean-algebra
lattice-orders
topos-theory
monads
Assistance in completing the proof: (P → Q)∧(Q → R) is equivalent to (P → R)∧ [(P ↔ Q) ∨ (R ↔ Q)] using logical equivalencies
logic
propositional-calculus
boolean-algebra
Can AND, OR and NOT be used to represent any truth table?
logic
propositional-calculus
boolean-algebra
Find DNF and CNF of an expression
propositional-calculus
boolean-algebra
conjunctive-normal-form
disjunctive-normal-form
Prev
Next