Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

1.1k questions

1.2k answers

1.6k comments

529 users

0 votes

Convert the following equations into conjunctive normal form.

I tried to solve this question in 2 ways.

once with "Multiplying-out":

and also with "Shannon decomposition":

but each time I got a different answer and I don't know why. Would you please tell me what I did wrong in  Shannon decomposition?

in * TF "Emb. Sys. and Rob." by (1.7k points)

1 Answer

0 votes
 
Best answer

The correct rule with Shannon decomposition is 

    (x | phi[x<-0]) & (!x | phi[x<-1]) 

and using it you get

     (x <-> (y1 | y2)) 
     <-> ((x | !(y1 | y2)) & (!x | (y1 | y2)) )
     <-> (x | !y1 & !y2) & (!x | y1 | y2) 
     <-> (x | !y1) & (x | !y2) & (!x | y1 | y2) 

by (166k points)
selected by

Related questions

0 votes
4 answers
asked May 12, 2020 in * TF "Emb. Sys. and Rob." by EngiMary (1.7k points)
0 votes
1 answer
asked May 11, 2020 in * TF "Emb. Sys. and Rob." by EngiMary (1.7k points)
0 votes
2 answers
Imprint | Privacy Policy
...