LinuxQuestions.org
Go Job Hunting at the LQ Job Marketplace
Go Back   LinuxQuestions.org > Forums > Non-*NIX Forums > General
User Name
Password
General This forum is for non-technical general discussion which can include both Linux and non-Linux topics. Have fun!

Notices

Reply
 
Search this Thread
Old 10-22-2003, 05:56 PM   #1
gdbugger
LQ Newbie
 
Registered: Feb 2003
Location: Fredericton
Distribution: Mandrake
Posts: 27

Rep: Reputation: 15
Boolean Algebra question


I don't know of any other website/forum where I could post it. I guess you can post anything here excluding homework. So here goes:

A.B + A.B'.C.D + A'.C.D = A.B + C.D

I use A' to denote negation of A (or A bar). I can work it out using a Karnaugh Map, but not using the basic properties of Boolean Algebra. Can you help?

"Do not expect LQ members to do your homework - you will learn much more by doing it yourself." - http://www.linuxquestions.org/rules.php

This is not homework I just stumbled upon it while doing BDDs. I converted AB+CD to a ROBDD and when I convert it back to Boolean equation this is what I get A.B+A.B'.C.D+A'.C.D
 
Old 10-22-2003, 06:32 PM   #2
Stack
Member
 
Registered: Oct 2003
Distribution: FreeBSD
Posts: 325

Rep: Reputation: 30
Code:
AB+AB'CD+A'CD
AB+CD(AB'+A')
AB+CD((A'+A)(A'+B'))
AB+CD(A'+B')
AB+CD(AB)'
(AB+(AB)')(CD+AB)
AB+CD
 
Old 10-22-2003, 07:19 PM   #3
gdbugger
LQ Newbie
 
Registered: Feb 2003
Location: Fredericton
Distribution: Mandrake
Posts: 27

Original Poster
Rep: Reputation: 15
Thank you.
I could manage only this much:

AB+AB'CD+A'CD
AB+CD(AB'+A')
AB+CD((A'+A)(A'+B'))
AB+CD(A'+B')


BTW can anyone suggest a place where I could post such questions. I actually didn't like posting this question at LQ

Last edited by gdbugger; 10-22-2003 at 07:25 PM.
 
Old 10-22-2003, 08:17 PM   #4
js_530
Member
 
Registered: Jul 2003
Posts: 162

Rep: Reputation: 30
Quote:
BTW can anyone suggest a place where I could post such questions. I actually didn't like posting this question at LQ
google newsgroups?
 
Old 10-22-2003, 08:37 PM   #5
gdbugger
LQ Newbie
 
Registered: Feb 2003
Location: Fredericton
Distribution: Mandrake
Posts: 27

Original Poster
Rep: Reputation: 15
Thank you too.
 
Old 10-23-2003, 06:54 PM   #6
sk8guitar
Member
 
Registered: Jul 2003
Location: DC
Distribution: mandrake 9.1
Posts: 415

Rep: Reputation: 30
oh man, nightmares of my digital logic design class just came flooding back. karnaugh maps are the only way to go. i hated boolean algebra proofs. i hated doing combined variable karnaugh maps, where like instead of doing a 4 variable one you'd do a 3 variable one and use a bunch of random ass crap to figure it out. what a pain in the ass. i got a freakin C in that class.
 
  


Reply


Thread Tools Search this Thread
Search this Thread:

Advanced Search

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is Off
HTML code is Off


Similar Threads
Thread Thread Starter Forum Replies Last Post
boolean question! xemous General 3 03-18-2005 03:40 AM
Unknown boolean error mebrelith Fedora 4 01-24-2005 03:47 AM
Algebra and family tree software? Slovak Linux - Software 0 11-30-2004 05:46 PM
Question: How to define an SQL HAVING clause in relational algebra? jdruin Linux - Software 1 11-08-2004 07:50 AM
C++ boolean in cout statement AMMullan Programming 2 06-08-2004 12:44 PM


All times are GMT -5. The time now is 10:55 AM.

Main Menu
My LQ
Write for LQ
LinuxQuestions.org is looking for people interested in writing Editorials, Articles, Reviews, and more. If you'd like to contribute content, let us know.
Main Menu
Syndicate
RSS1  Latest Threads
RSS1  LQ News
Twitter: @linuxquestions
identi.ca: @linuxquestions
Facebook: linuxquestions Google+: linuxquestions
Open Source Consulting | Domain Registration