Question

If $t \leq s$ and $t \neq s$, why $t' \land s \neq 0$

score 59 · Answer 1 · 2019-01-16 06:31:53

59

Views

If $t \leq s$ and $t \neq s$, why $t' \land s \neq 0$

Published on 16 Jan 2019 - 6:31

score 3.1k · Answer 2 · 2019-01-16 10:27:33

3.1k

Views

if $a'b+cd'=0$, then prove that $ab+c'(a'+d')=ab+bd+b'd'+a'c'd$

Published on 16 Jan 2019 - 10:27

score 4k · Answer 3 · 2019-01-17 22:28:30

4k

Views

Showing that (A⊕B)⊕B is equal to A

Published on 17 Jan 2019 - 22:28

score 200 · Answer 4 · 2019-01-18 23:18:23

200

Views

How Does $AB{\sim} C + {\sim}ABC + {\sim} A {\sim}B{\sim} C$ Turn into $(A+C+{\sim}B)(B+{\sim}A)(B+{\sim} C)({\sim} A+{\sim} C)$?

Published on 18 Jan 2019 - 23:18

score 213 · Answer 5 · 2026-03-25 11:17:50

213

Views

A boolean algebra is countable iff the Stone space is separable

Published on 25 Mar 2026 - 11:17

score 676 · Answer 6 · 2019-01-20 01:17:18

676

Views

Proving both distributive laws for Boolean algebra given by certain axioms.

Published on 20 Jan 2019 - 1:17

score 35 · Answer 7 · 2019-01-21 14:05:52

35

Views

Total propositional functions (distinct) such that their truth tables have equal number of true and false?

Published on 21 Jan 2019 - 14:05

score 46 · Answer 8 · 2019-01-21 16:32:47

46

Views

Examples showing how George Boole's notation differs to modern notation.

Published on 21 Jan 2019 - 16:32

score 453 · Answer 9 · 2026-03-26 01:28:03

453

Views

What does affine equivalence mean in the context of cryptographic boolean functions?

Published on 26 Mar 2026 - 1:28

score 209 · Answer 10 · 2019-01-22 17:07:59

209

Views

Why for two binary numbers $x,y$ is $\neg (\neg x + y) = x - y $ true?

Published on 22 Jan 2019 - 17:07

score 31 · Answer 11 · 2019-01-23 10:14:58

31

Views

Boolean expression simplified

Published on 23 Jan 2019 - 10:14

score 98 · Answer 12 · 2019-01-24 00:21:13

98

Views

Simplifying a Boolean algebra expression

Published on 24 Jan 2019 - 0:21

score 99 · Answer 13 · 2019-01-25 04:13:59

99

Views

Best-known Boolean Circuits for Clique?

Published on 25 Jan 2019 - 4:13

score 283 · Answer 14 · 2019-01-26 02:22:30

283

Views

How to prove something is not a logical consequence of 2 propositions.

Published on 26 Jan 2019 - 2:22

score 137 · Answer 15 · 2019-01-26 09:18:18

137

Views

What is the proper name for the set of non-zero length-$n$ bit strings that start with $0$?

Published on 26 Jan 2019 - 9:18

List Question

If $t \leq s$ and $t \neq s$, why $t' \land s \neq 0$

if $a'b+cd'=0$, then prove that $ab+c'(a'+d')=ab+bd+b'd'+a'c'd$

Showing that (A⊕B)⊕B is equal to A

How Does $AB{\sim} C + {\sim}ABC + {\sim} A {\sim}B{\sim} C$ Turn into $(A+C+{\sim}B)(B+{\sim}A)(B+{\sim} C)({\sim} A+{\sim} C)$?

A boolean algebra is countable iff the Stone space is separable

Proving both distributive laws for Boolean algebra given by certain axioms.

Total propositional functions (distinct) such that their truth tables have equal number of true and false?

Examples showing how George Boole's notation differs to modern notation.

What does affine equivalence mean in the context of cryptographic boolean functions?

Why for two binary numbers $x,y$ is $\neg (\neg x + y) = x - y $ true?

Boolean expression simplified

Simplifying a Boolean algebra expression

Best-known Boolean Circuits for Clique?

How to prove something is not a logical consequence of 2 propositions.

What is the proper name for the set of non-zero length-$n$ bit strings that start with $0$?

Trending Questions

Popular # Hahtags

Popular Questions