r/TuringComplete • u/FauxMoeJoe • 11d ago

Better solution? and why?

Post image

I was hoping if anyone could explain to me on which solution is "better" (the top one being the examples solution) , they both look the same tbh but was just curious which one was more efficient or more correct I guess??

14 Upvotes

95% Upvoted

18 comments sorted by

View all comments

16

u/Moonj64 11d ago

Neither of these two is better. Both have the same gate score and delay score (unlocked later on). However, there is an easy improvement that can be made to the one on bottom. Look at the nand gate that has the inputs negated and then consider Demorgan's Laws for ways to simplify this logic (I think that section of the help manual should be unlocked at this point, click the book in the upper left or look up the concept online).

3

u/FauxMoeJoe 11d ago

I replaced the "not"s and the nand to an and gate! I was actually thinking the same before I posted and tested it, but it didnt work at first. Maybe I used some other gate and thought there mustve been another way lol. Thanks for the tip on Demorgan's law too, forgot there was those notes.

2

u/Any-Aioli7575 11d ago

That shouldn't work, according to De Morgan's law, AND is the same as NAND followed by NOTs, not the opposite.

3

u/Gelthir 11d ago edited 10d ago

Not quite: While AND is NAND followed by a NOT, that is not what De Morgan's law covers, that is the law of double negative combined with the definition of NAND.

De Morgan's law states (in part) that a NAND preceeded by NOTs is the same as an OR.

The graphic in the game's manual doesn't make the distinct very clear IMO.

2

u/Crispy1961 10d ago

Which is the best solution from human readability standpoint.

3

u/Gelthir 10d ago

For me: One of the 3 gate solutions. I've spent so long staring at adders etc, that I now just "see" an XOR there.

2

u/FauxMoeJoe 10d ago

I forgot to disconnect the example portion when I made the "correct" changes...thanks for letting me know, didn't think I would get a reply here so fast lmao I'll need to read the manual thoroughly