Don't Make Your Logic Buggy

Ko­ro­na-ajan pi­ris­teek­si täs­sä lau­lu. Taus­ta­mu­siik­ki ja ko­reo­gra­fia löy­ty­vät tääl­tä tai nuo­rek­kaam­pi­na tääl­tä.

This one goes out to anyone
Who's on a course on software logic
With the implicated formulas
Remember: don't make your logic buggy

We're stuck here in this course for the next four weeks or so
And we don't have meetings coz the government said no
Just computer and lectures and the deadlines and TIM and little MathCheck too
So for the formula's sanity can't you see what we must do?

Hey Graeme
Yeah?
You know truth values?
Sure! Truth values
Hey, hey Jo
Yo
So can you conclude?
I can conclude
Hey Lani
What's up?
Do you wanna solve problems?
Hell yeah
These problems are good for us, so let's solve them

Do not mourn, just learn more
Then you don't make your logic buggy
Inequated, then negated
Don't make your logic buggy
Disjunction and conjunction
Don't make your logic buggy
Proof leaves no doubt so we're all about
Don't make your logic buggy