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)?
How do i go from--> (¬A ∧ ¬K) ∨ (A ∧ K)
to
(¬K ∨ A) ∧ (¬A ∨ K)?
Need help with propositional logic!?
- Thread starter raystriker
- Start date
- Views 1,431
- Replies 3
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.
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.
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.
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.
Similar threads
-
@
Psionic Roshambo:
@BigOnYa, Lol I bought a new USB card reader thing on AliExpress last month for I think like 87 cents. Free shipping from China... It arrived it works and honestly I don't understand how it was so cheap.+1 -
-
@
BakerMan:
would you rather have a 9-5 desk job with poor pay or work for an intergalactic space militia with no guarantee of being paid? -
-
-
-
@
SylverReZ:
I wish the people who make these emulators know the basic primer course on copyright and trademarks.
-
-
@
NecroNova:
Speaking of emulators, i now have a more genuine use for my 3DS after Artic Base released -
-
S @ salazarcosplay:@BigOnYa would he avoid the letters if he used a vpn? I missed when you could use the internet without worrying about letters.
-
-
-
-
-
@
BigOnYa:
@salazarcosplay Yea with a vpn, my ip address is randomized and not at my address, so my ISP does not know its me pirating. I have never got a bitch letter from my ISP since using a vpn. -
-
-
-
-
@
BigOnYa:
Kinda cool, but what a mess it would be. And I would weight 500 pounds with all my screw ups, then eating them.+2
-
@
Megadriver94:
3D printer but it can do both 3D and standard paper printing in monochrome AND color.+1 -
-
-