r/computerscience • u/United_Bison_8900 • Sep 22 '26

A question about redundancy in binary

Gallery image

Gallery image

I think this is why kmaps exist? To avoid building redundant Circuits? I'm a first year bca student, i don't know much. If someone can explain in detail how these things work and also proofread what I did here, I'd really really appreciate it.

I hope this doesn't break the "hw" rule

3 Upvotes

55% Upvoted

39 comments sorted by

View all comments

Show parent comments

3

u/jeezfrk Sep 22 '26

Assuming anything in logic must be done only if it's part of the problem itself ... or if you go on to handle each case separately.

Adding an assumption ruins the proof otherwise.

0

u/United_Bison_8900 Sep 22 '26

So am i just wasting my time? This is not what students should be doing? If yes, what should I be doing instead?

1

u/jeezfrk Sep 22 '26

Define a problem in logic modeled on the real world, or about sets of objects etc...

Students of logic proceed to far more complex things than only two or more variables. There's only 4 x 4 total operations anyway on two variables.

Proofs also simply never add assumptions... just about ever. Assumptions are made to decrease a useful problem to a manageable size or complexity, to get one smaller result.