List questions from boolean-algebra

Published on 13 Mar 2018 - 14:30

423

Views

How do I prove if a set of operations is complete?

Published on 25 Mar 2026 - 20:42

147

Views

How to prove that $\{\land,\lnot\}$ is complete?

Published on 16 Mar 2018 - 3:04

479

Views

If $B$ if a finite Boolean algebra, then it contains an atom

Published on 16 Mar 2018 - 17:28

54

Views

Why are $T_0, T_1, L, M, S$ the main five Boolean classes?

Published on 16 Mar 2018 - 18:55

63

Views

Subfunctor of a hom functor in a Boolean topos

Published on 25 Mar 2026 - 7:43

219

Views

Understanding the implication switch

Published on 17 Mar 2018 - 21:00

83

Views

Function mapping definition and calculating with logic symbols

Published on 18 Mar 2018 - 3:15

748

Views

How to extract numbers from an bitwise OR number in an Array?

Published on 18 Mar 2018 - 11:44

138

Views

Are true and false each considered self-dual?

Published on 25 Mar 2026 - 17:51

3.2k

Views

Why, logically, is proof by contradiction valid?

Published on 25 Mar 2026 - 17:51

67

Views

Trying to understand what this ring notation means

Published on 23 Mar 2018 - 3:32

412

Views

The logic involved in contradiction via the irrationality of $\sqrt{2}$ as an example

Published on 25 Mar 2026 - 19:25

665

Views

Majority function of 11 inputs

Published on 23 Mar 2018 - 12:15

741

Views

Boolean algebra with coordinate wise addition and multiplication

Published on 23 Mar 2018 - 20:38

List Question

Logical equivalence rule: prove a tautology

How do I prove if a set of operations is complete?

How to prove that $\{\land,\lnot\}$ is complete?

If $B$ if a finite Boolean algebra, then it contains an atom

Why are $T_0, T_1, L, M, S$ the main five Boolean classes?

Subfunctor of a hom functor in a Boolean topos

Understanding the implication switch

Function mapping definition and calculating with logic symbols

How to extract numbers from an bitwise OR number in an Array?

Are true and false each considered self-dual?

Why, logically, is proof by contradiction valid?

Trying to understand what this ring notation means

The logic involved in contradiction via the irrationality of $\sqrt{2}$ as an example

Majority function of 11 inputs

Boolean algebra with coordinate wise addition and multiplication

Trending Questions

Popular # Hahtags

Popular Questions