# Need help with propositional logic!?

#### raystriker

##### The powers that be
OP
Member
I'm really dumbstruck by this. Any help will be appreciated!
How do i go from--> (¬A ∧ ¬K) ∨ (A ∧ K)
to
(¬K ∨ A) ∧ (¬A ∨ K)?

Solution
Forgive my messiness.

2. Apply double De Morgan so we can change the insides without messing up the logic.
3. - 4. Carry through one of the De Morgans to the insides all the way down.
5. Treat "ands" like multiplication and "ors" like +'s, foil. Discard terms that are always false (it's okay to do this, as we are or'ing terms here).
6. - 8. Carry second De Morgan negation all the way down.
Bonus logic table for part 4.

#### IncredulousP

##### GBAtemp's Resident Bastard
Member
Forgive my messiness.

2. Apply double De Morgan so we can change the insides without messing up the logic.
3. - 4. Carry through one of the De Morgans to the insides all the way down.
5. Treat "ands" like multiplication and "ors" like +'s, foil. Discard terms that are always false (it's okay to do this, as we are or'ing terms here).
6. - 8. Carry second De Morgan negation all the way down.
Bonus logic table for part 4.

#### raystriker

##### The powers that be
OP
Member
Thanks, I had figured it out!

Member

Replies
5
Views
544
Replies
1
Views
652
Replies
1
Views
329
Replies
7
Views
2K
Replies
22
Views
2K

1. 28K views

## Nintendo takes down Yuzu-based emulators including Suyu, Sudachi, Torzu, Uzuy and Nuzu

The never-ending battle between the litigious plumber and the emulation Hydra continues day by day, and these past days, Nintendo took action against more emulators...
2. 21K views

## Zelda Wind Waker HD randomizer released

Just a few weeks after the launch of Skyward Sword HD's randomizer, Zelda fans can one again rejoice as a new way to play the popular Wii U remaster Wind Waker HD has...
3. 19K views

## Nintendo Switch firmware 18.1.0 just released, is another rebootless update

A new Nintendo Switch firmware update just landed. System software version 18.1.0 has been released and pushed out to consoles. The contents of the update are fairly...
4. 15K views

## "Beyond Good & Evil: 20th Anniversary Edition" gets a brand new launch trailer, releases June 25th, 2024

The cult classic hit from the 6th generation of consoles, Beyond Good & Evil, is celebrating its 20th anniversary this month, and for the occasion, Ubisoft is...
5. 15K views

## Who is Emio?

Nintendo has released a cryptic 15-second video titled "Emio" or "笑み男" (Smiling Man) on their social media channels. The video features a lost-footage style scene...
6. 15K views

## "Mystical Ninja Starring Goemon" for N64 gets a fanmade PC recompilation project

The Nintendo 64 has been the main console for modern recompilation projects to PC, and with the recent release of the N64Recomp tool just a couple of months ago, more...
7. 14K views

## Sonic Mania is unofficially being ported to the Sega Dreamcast by fans

The Sonic homebrew and hacking community is for sure one of the most active communities when it comes to game modifications themselves. The fanbase has even made...
8. 13K views

## Nintendo on the use of AI in game development

In a recent Q&A with investors, Nintendo president Shuntaro Furukawa states the company has concerns over the use of AI, like LLMs, in its first party game...
9. 12K views

## Dolphin Releases Announcement

Over eight years and nearly 22,000 commits since the release of Dolphin 5.0 in June of 2016, Dolphin has evolved to become a stable and accurate emulator of both the...
10. 11K views

## Sony announces launch date for the upcoming live action Street Fighter movie

Street Fighter will be hitting the silver screen, as Sony has confirmed that a live action movie adaptation of the video game will be released in 2026. The project...
1. 240 replies

## Nintendo takes down Yuzu-based emulators including Suyu, Sudachi, Torzu, Uzuy and Nuzu

The never-ending battle between the litigious plumber and the emulation Hydra continues day by day, and these past days, Nintendo took action against more emulators...
2. 92 replies

## Who is Emio?

Nintendo has released a cryptic 15-second video titled "Emio" or "笑み男" (Smiling Man) on their social media channels. The video features a lost-footage style scene...
3. 79 replies

## Nintendo on the use of AI in game development

In a recent Q&A with investors, Nintendo president Shuntaro Furukawa states the company has concerns over the use of AI, like LLMs, in its first party game...
4. 76 replies

## Nintendo Switch firmware 18.1.0 just released, is another rebootless update

A new Nintendo Switch firmware update just landed. System software version 18.1.0 has been released and pushed out to consoles. The contents of the update are fairly...
5. 69 replies

## "Beyond Good & Evil: 20th Anniversary Edition" gets a brand new launch trailer, releases June 25th, 2024

The cult classic hit from the 6th generation of consoles, Beyond Good & Evil, is celebrating its 20th anniversary this month, and for the occasion, Ubisoft is...
6. 66 replies

## Sonic Mania is unofficially being ported to the Sega Dreamcast by fans

The Sonic homebrew and hacking community is for sure one of the most active communities when it comes to game modifications themselves. The fanbase has even made...
7. 65 replies

## Sony announces launch date for the upcoming live action Street Fighter movie

Street Fighter will be hitting the silver screen, as Sony has confirmed that a live action movie adaptation of the video game will be released in 2026. The project...
8. 61 replies

## Zelda Wind Waker HD randomizer released

Just a few weeks after the launch of Skyward Sword HD's randomizer, Zelda fans can one again rejoice as a new way to play the popular Wii U remaster Wind Waker HD has...
9. 59 replies

## Apple's AAA mobile gaming efforts seem to be failing

iOS ports of major console games like Resident Evil 4, Assassin’s Creed Mirage, and Death Stranding have seemingly faced lackluster sales as recent sales estimates...
10. 55 replies

## The original Resident Evil is now available on GOG with RE2 and RE3 coming later

For years, if not decades, fans of the Resident Evil series have been clamoring for a modern re-release of the original Resident Evil trilogy, the classic games that...

## Goodbye, Shannen Doherty!

### Recent Content

12. #### What song are you currently listening to?

Help Users
• No one is chatting at the moment.
• @ BakerMan:
@BigOnYa @K3Nv2 can the 3 of us agree we all 2-seaters?
+1
• @ K3Nv2:
Well bigonya doesn't call himself big over his pp his wife already debunked that for me
+1
• @ BakerMan:
however, unlike what you're thinking, the 2 ppl sitting on me aren't ken's mom and bigonya's wife, they're a wizard on the face and wario on the crotch
• @ K3Nv2:
You have Wario on your crotch
• @ K3Nv2:
Some people marry their gaming consoles BakerMan humps Wario plushies
• @ BakerMan:
now i'm gonna collect some more plushies to hump, samus plushie, i'm coming for you (pun very much intended)
+1
• @ K3Nv2:
Be sure to collect my mom's plushies so you can say you humped my mom
• @ BakerMan:
who needs a plush of uremum when i could do the real thing
• @ Xdqwerty:
i might go to sleep
• @ Xdqwerty:
good night
• @ K3Nv2:
Yawn
• @ BigOnYa:
Burp
• @ Veho:
Superior version, motherfucker.
• @ Veho:
Goddamn.
• @ SylverReZ:
Dude's gotta watch his head lol.
@ SylverReZ: Dude's gotta watch his head lol.