Logic 2: Karnaugh Map, Fallacies, 7400 Series - Tutorial 2/4

[@Sqwaush]

This is 10000 times better than the class I took on this last semester. I appreciate your content!

[@Bisqwit]

Thank you for the feedback! A part of that is illusion because you are already familiar with the content - it is much harder if the content is totally new to you - but when I have learned something and gained insight, I strive to best express and influence the same insight in others if at possible.

[@cloerenjackson3699]

@@Bisqwit Cognitive Ease.

[@nrdesign1991]

I love hearing this greatly simplified. Logic analysis was part of my engineering school, but it was so convoluted I already forgot most of it 😳

[@Feninou]

You are back bisqwit !! Missed you man :)

[@FlipJanson_]

I remember being more confused about marking K-maps than anything else when I took a digital logic class. The way you explained it is much more intuitive than my professor's, thanks👍

[@Eugensson]

I loved the K-maps. Solving them by reorderimg rows and columns was like solving a sudoku.

[@McBobX]

You just slapped me with a memory refresh to Electronics class! Great tutorial series! Definitely will fully watch when I have time.

[@BlizzetaNet]

In the words of Peanut... nyunnnnnnnn! A lot of it went over my head but after a few more views, I'd probably begin to understand the complexity placed before me. Thanks dude! 👍🏼

[@mkwilson1394]

The rectangles can wrap from 1 side to the other. Karnaugh maps are drawn, topologically speaking, on torii. I love that!

[@tonym5857]

Nice to see a new video with your limited time 👏👏👏

[@Bisqwit]

Thank you! I made this during the break between periods 2 and 3, that is during the weeks surrounding the New Year.

[@fetchdcode9759]

I love this. Computer organization has been my favorite comp sci course so far (although it strays more into computer engineering) and this was a nice refresher. Our final project involved making a game in MIPS assembly. I'm not sure how useful learning MIPS is these days, but it was fun project nonetheless.

[@gunthergumdrop9071]

thanks for the video! extremely informative! cute little easter egg too.

[@minirop]

doing Karnaugh maps was my favourite exercices during secondary school. (I did electronic engineering)

[@DaveChurchill]

3:05 Why didn't you make the 2nd rectangle 3x2 instead of 2x2 if you wanted it to be as big as possible?

[@matmya]

The group must be the 2^n

[@Bisqwit]

Because the side lengths of the rectangle must be powers of two. I explicitly showed just a few seconds earlier that 3 is not a valid length, because it is not a power of two.

[@DaveChurchill]

@@Bisqwit oops I didn't catch that thanks

[@_Light_Dragon]

hey i have been here for like few days and already being a big fan of your content :D specially those ones where you recreate or explain something low level also i got a suggestion that may be interesting which is to make a series where you recreate stuff that are hard :D something like making a kernel or operating system or a programming language *i saw the existing one just giving an example* maybe a graphica api like openGL or explain complex stuff and how they really work i know maybe you have done alot of amazing videos but maybe this series is a new interesting idea :D oh and also the videos u made about making a Programming language did help me alot and right now iam making my own programming language xd that maybe useless too lol yeah keep up the great work! :D *also iam sorry if my english is bad*

[@WilliamDye-willdye]

I forgot about the use of greycode in K-maps. Thanks for the reminder. I think these concepts might help me select a better set of neural nets and input data formatting when I try my hand again at modern-style pattern recognition.

[@zilog1]

I love the 74 series. I used a 74ls32 for my z80 computer i made from scratch

[@loopingdope]

Amazing guy

[@helensolnyshko8449]

Thanks for video, very informative, and it also resolves for me some questions. By the way, did you have experience with program Logic Friday, which one-in-a-kind about Karnaugh/truth tables and making gates from that? It, however have some restrictions, i mean, about bugs, and, impossibility to swap inputs. But it still great.

[@Bisqwit]

No, I have never heard of Logic Friday.

[@torinstorkey]

Explained a good chunk of digital electronics 1 course at my uni.

[@sabriath]

Just a little sidenote....finding the truth table for both the '1' side and the '0' side allows you to easily construct a CMOS, since it requires both sides to stay at voltage. Just a little trick. Everything can be described by logic, if it can't, then the logic is not constructed correctly, just fyi. I have found many flaws in paradoxical logic that just tries to purposely break a system, but it's just conclusive that it isn't broken, but the connection to the logic is flawed. It's like saying that not all keyboards work, just because sometimes you put a fishbowl on it, it's a keyboard for people, not fish.

[@larrybird3729]

This is mind blowing can we optimize propositions with software

[@monolyth421]

Karnaugh maps are great for learning logic but they don't scale well to harder problems. The cases where they're practical are usually easy enough to figure out in your head.

[@Filaxsan]

Still magical!

[@kissconsider]

Logic got a sequel? Awesome!

[@Bisqwit]

And more is to come.

[@hardnocks24]

well thats an amazing content.

[@DawsonFord]

this is very good

[@jesuxcc]

This reminds me studying 1st course of computer science 22 years ago :_)

[@muellerhans]

I prefer the european rectangular gates. They are much more simple. Symbol in the rectangle defines the gate e.g. & for AND, ≥1 for OR, 1 for NOT (with circle added to the output of the gate), =1 for XOR, =1 for XNOR (with circle added to the output of the gate).

[@Bisqwit]

I agree. It was just a bit easier to do the American symbols in Libreoffice, as they can be single geometrical shapes without needing to worry about a textbox and its margins.

[@wizzenberry]

“The little I know about logic” you underestimate yourself bro

[@bitterlemonboy]

Thanks! This is very unrelated to the video but since you just uploaded ill ask. can you use PARI/GP to find an input to a function such that the output is equal to a certain number? Not reversing the function, just finding an x value for f(x) = output i want

[@Bisqwit]

I don’t know if PARI/GP can be used for that, but Maxima certainly can. For example, the input f(x) := tan(x)*5+3; solve(f(x) = 0.2); or just directly solve(tan(x)*5+3 = 0.2); gives you x = -atan(14/25). It is still not as smart as Wolfram Alpha though, and can’t solve e.g. solve(log(x)*3/x = 1), which should produce a Lambert W function.

[@bitterlemonboy]

@@Bisqwit I have a very large function though, it's several thousand characters long. Do you think maxima can still solve it?

[@Bisqwit]

No idea until you try. Maxima flat out refuses to solve certain types of functions. It’s just up to what kind of structures your function has.

[@Bisqwit]

Add ", numer" before the semicolon.

[@KitsuneAlex]

When talking TTL/74-series, you should really mention the Xerox Alto :D

[@Bisqwit]

Why?

[@KitsuneAlex]

@@Bisqwit well, just saying it's a great example of how simple 74-series logic chips can make up such a complex device, that's all :) love the video ^^

Can you also explain Linear Logic? I found it hard to get an intuitive understanding of that, although logic normally feels intuitive.

[@Bisqwit]

Sorry, never heard of it yet. In part 3 I briefly mention some branches of modal logic, but as I have not studied them, I won’t go into detail. The main topic for part 3 will be predicate logic and proving that two phrases are equivalent.

[@DjVortex-w]

Why do those old graphic cards use such large nand gate chips that contain only four nands? One would think that they could add like a million nand gates in one of those chips.

[@Bisqwit]

Commissioning a custom chip, and manufacturing it, was not cheap back then.

[@hyoenmadan]

Technology not available or too expensive at time. And they later did btw. Is called PALs/GALs, CPLDs and FPGAs.

[@galihtanu]

Kmap very useful when drawing ladder for PLC or draw relay-logic. Yes call me old men when still use relay logic For draw controll diagram line 😂

[@alessiocaffi5992]

nice review Bisqwit ok next State Diagram w/ Verilog. Btw anyone into this will appreciate Logisim an Digital open source software capable of simulating 8...32 bit breadboard CPU, Risc-v and much more. Also Slu4 here on yt makes an interesting open source CPU/8 bit systems with emulator and compiler etc. if interested check it out and possibly contribute to his growing community. Cheers.

[@GameBacardi]

Ja tai ei *edit Suositelkaa hyvä headset kuulokkeet! Arctis Prime mikrofoni on hiljainen, älkää suositelko mitään SteelSeries kuulokkeita...

[@girlswithgames]

good stuff

[@dexter97_66]

8:13 Hate speech at its finest ;-)