How To: 3-input NAND gate using ACTEL ACT 1 logic module

[zaf]

Hello members...i need urgent help with a digital design problem

can some please help me expand the following function using shannon's
expansion theorem

F = (A.B.C)'
= C' + A'C + AB'C

I need to map this function to an Altera ACT 1 FPGA logic module with
three 2:1 MUX's and one OR Gate.

any help would be greatly appreciated

thanks
zaf

 

[Russell Powell]

Don't remember "Shannon's expansion theorem". Can simplify using
boolean algebra postulates.

C' + A'C + AB'C

= (C' + A')(C' + C) + AB'C
= (C' + A') + AB'C
=(C' + A') + CAB'
=( (C' + A') + C)((C' + A') + AB')
=(C' + C) + A')((C' + A') + AB')
= (1 + A')((C' + A') + AB')
= 1((C' + A') +AB')
= ((C' + A') + A)((C' + A') + B')
= ((C' + 1))((C' + A') + B')
= (C' + A' + B')

or, using De'Morgan's theorem (A.B.C)' = A'+B'+C', you could've
reached the above result instantly!


--
sincerely,

Russell Powell

Artisan Components
SR. FAE - U.S. Central
rpowell@artisan.com
469-438-6589





"zaf" <hsultan@utnet.utoledo.edu> wrote in message
news:3aaabe6b.0310051158.5dd1f1b@posting.google.com...

Hello members...i need urgent help with a digital design problem

can some please help me expand the following function using shannon's
expansion theorem

F = (A.B.C)'
= C' + A'C + AB'C

I need to map this function to an Altera ACT 1 FPGA logic module with
three 2:1 MUX's and one OR Gate.

any help would be greatly appreciated

thanks
zaf

 

[Jonathan Bromley]

"zaf" <hsultan@utnet.utoledo.edu> wrote in message
news:3aaabe6b.0310051158.5dd1f1b@posting.google.com...

Hello members...i need urgent help with a digital design problem

It amuses me that student problems are invariably "urgent". By
contrast, we who work in the commercial world of course have
infinitely long timescales for our projects

can some please help me expand the following function using shannon's
expansion theorem

Not being an academic I have never heard of Shannon's expansion
theorem, but Shannon was a pretty bright guy and I have no reason
to doubt that he invented such a thing.

F = (A.B.C)'
= C' + A'C + AB'C

It's useful to remember that you can write a multiplexer as
a Boolean expression:

Mux = in0.Sel' + in1.Sel

represents a 2:1 mux selected by Sel, with inputs in0 and in1.
To help with this Mux description, let's define that as a
function M(in0,in1,Sel).

So we can re-think your expression as multiplexers...

F = C' + (A' + A.B').C
= C' + C.M(1, B', A)
= M(1, M(1, B', A), C)

One more little observation:
B' = 1.B' + 0.B
= M(1, 0, B)

Hey, I got one over on your prof! I don't need that OR gate at all!

F = M(1, M(1, B', A), C)
= M(1, M(1, M(1, 0, B), A), C)


|\
|\ 1-| |
|\ 1-| | | |----F
1-| | | |------| |
| |------| | |/
0-| | |/ |
|/ | C
| A
B

ASCII-schematic with thanks, as usual, to Andy Weber's wonderful
AACircuit program (www.tech-chat.de).

--
Jonathan Bromley, Consultant

DOULOS - Developing Design Know-how
VHDL * Verilog * SystemC * Perl * Tcl/Tk * Verification * Project Services

Doulos Ltd. Church Hatch, 22 Market Place, Ringwood, Hampshire, BH24 1AW, UK
Tel: +44 (0)1425 471223 mail: jonathan.bromley@doulos.com
Fax: +44 (0)1425 471573 Web: http://www.doulos.com

The contents of this message may contain personal views which
are not the views of Doulos Ltd., unless specifically stated.

 

[Fred Bloggs]

zaf wrote:

Hello members...i need urgent help with a digital design problem

can some please help me expand the following function using shannon's
expansion theorem

F = (A.B.C)'
= C' + A'C + AB'C

I need to map this function to an Altera ACT 1 FPGA logic module with
three 2:1 MUX's and one OR Gate.

any help would be greatly appreciated

thanks
zaf

You have by DeMorgan's Theorem that (A.B.C)'=A'+B'+C' so the cofactor
wrt C is A'+ B', and the cofactor wrt A of A'+ B' is B'- so the Shannon
expansion is C'."1" + C.( A'."1"+ A.B'), and this agrees with your
expression. Now use Actel's "logic WHEEL" function to map it-) and you
are 10% of the way there-)