Can someone confirm this? (About boolean algebra and reduced cost)

Click For Summary

Discussion Overview

The discussion revolves around designing a circuit using boolean algebra to detect numbers from 0 to 9 that are divisible by 2 or 3. Participants explore the implications of using a truth table and Karnaugh map for simplification, as well as the effects of inverting outputs in their solutions.

Discussion Character

  • Technical explanation, Debate/contested, Mathematical reasoning

Main Points Raised

  • One participant describes their approach of creating a truth table that outputs 1 for numbers not divisible by 2 or 3, followed by inverting the output to find the desired result.
  • Another participant requests the original Karnaugh map and circuit schematics to better understand the proposed solution and suggests an alternative method for achieving the same result.
  • A participant reflects on whether their method of finding the complement function and then inverting it is as cost-effective as directly finding the desired function.
  • Discussion includes specific numbers detected (0001, 0101, 0111) and suggests using "don't cares" for numbers outside the valid range to simplify the K-map.
  • One participant proposes that the circuit could be optimized further by reducing the number of NOT gates used in the final design.

Areas of Agreement / Disagreement

Participants express differing views on the efficiency of their respective methods and whether the inversion of outputs affects the overall cost of the circuit. There is no consensus on the optimal approach, and the discussion remains unresolved regarding the best method for simplification.

Contextual Notes

Participants mention the use of "don't cares" in the K-map, indicating that assumptions about the input range are relevant to the simplification process. The discussion also highlights the potential for multiple valid approaches to the problem.

tamtam402
Messages
199
Reaction score
0
I was asked to make the simplest possible circuit to solve this problem:

for an entry of 0000 to 1001 (0 to 9), detect the numbers that are divisible by 2 or 3. I decided to write the truth table with an output of 1 for functions that are NOT divisible by either 2 or 3, since that seemed like less trouble to me. I plotted the karnaugh map and solved as usual. However, I put an inverter on the output of the last gate since the question was asking to find the numbers that ARE divisible by 2 or 3. Is my solution still in the simplest possible form? If not, why not?
 
Physics news on Phys.org
tamtam402 said:
I was asked to make the simplest possible circuit to solve this problem:

for an entry of 0000 to 1001 (0 to 9), detect the numbers that are divisible by 2 or 3. I decided to write the truth table with an output of 1 for functions that are NOT divisible by either 2 or 3, since that seemed like less trouble to me. I plotted the karnaugh map and solved as usual. However, I put an inverter on the output of the last gate since the question was asking to find the numbers that ARE divisible by 2 or 3. Is my solution still in the simplest possible form? If not, why not?

Can you show us your K-map and your final circuit? And can you show us what the circuit would look like if you did it the other way instead (implemented the positive output version)?
 
berkeman said:
Can you show us your K-map and your final circuit? And can you show us what the circuit would look like if you did it the other way instead (implemented the positive output version)?

Sorry I don't have these anymore, I answered the question on an exam. I was simply wondering if finding F' (by switching 0's and 1's in the truth table), then finding a sum of product and finally inverting the last output (since the signal was F' and I wanted F) gave me an equation as good (cost wise) as if I had simply found F directly.
 
So you detected 0001, 0101 and 0111 and inverted? Since numbers >10 are irrelevant you could use that space on the K-map to come to something like BD + A'C'D - is that what you had before inversion?
 
Last edited:
Yes that's what I had if I recall correctly. I drew the schematics for the 2 AND gates as well as the OR gate, then I inverted it's output.

edit: I added "don't cares" (that's how we call these, I'm not sure if the name is universal) to numbers from 10 to 15 as you suggested, since these entries are impossible in BCD.
 
You (should) have a total of three NOTs - using a bit of logic on ((B+A'C')D)' you can get that down to two.
 

Similar threads

Replies
4
Views
6K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 6 ·
Replies
6
Views
16K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
2
Views
8K
  • · Replies 8 ·
Replies
8
Views
6K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 1 ·
Replies
1
Views
9K