HDLBITS 练习 卡诺图化简部分

1 摩根定律和卡诺图化简

卡诺图画圈应遵循以下原则：

1、取大不取小，圈越大，消去的变量越多，与项越简单，能画入大圈就不画入小圈；

2、圈数越少，化简后的与项就越少；

3、一个最小项可以重复使用，即只要需要，一个方格可以同时被多圈所圈；

4、一个圈中的小方格至少有一个小方格不为其它圈所圈；

5、画圈必须覆盖完每一个填“1”方格为止。

练习

1，

 因为只有一个0，可以选择零化简，得到反函数的最简公式的与或

则~（~a&~b&~c)

摩根定理得到out=a|b|c;

module top_module(
    input a,
    input b,
    input c,
    output out  ); 
    assign out=a|b|c;

endmodule

2 这次只有划圈，因为不熟练，所以就只两两划圈

~a~b~c + ~a~c~d +a~b~c+acd+~abc+~ac~d+~ac~d;

还是比较臃肿，观察之后化简，~b~c+~a~d+acd+~abc;

程序

module top_module(
    input a,
    input b,
    input c,
    input d,
    output out  ); 
    assign out=(~b&~c)|(~a&~d)|(a&c&d)|(~a&b&c);

endmodule

3 不定态下的化简

比较简单，简化思路如下

 程序

module top_module(
    input a,
    input b,
    input c,
    input d,
    output out  ); 

    assign out=a|(~b&c);
endmodule

4 卡诺图化简

感觉无法化简，只能每个状态都写进去，写八个。不知道有没有大牛化简了的。该题跳过

5跳过

6

 程序：

module top_module (
    input [4:1] x, 
    output f );

    assign f=~x[1]&x[3] |x[2]&x[4];
endmodule

7化简图

程序：

module top_module (
    input [4:1] x,
    output f
); 
    assign f=(~x[2]&~x[4]) | (~x[1]&x[3]) | (x[2]&x[3]&x[4]);

endmodule

8 用四选一选择器和多个二选一选择器实现卡诺图化简。找了下参考答案看看思路。

HDLBits（8）——Karnaugh Map to Circuit_Mount256的博客-CSDN博客

官网的参考答案如下：

module top_module (
    input c,
    input d,
    output [3:0] mux_in
);
    
    // After knowing how to split the truth table into four columns,
    // the rest of this question involves implementing logic functions
    // using only multiplexers (no other gates).
    // I will use the conditional operator for each 2-to-1 mux: (s ? a : b)
    assign mux_in[0] = (c ? 1 : (d ? 1 : 0));    // 2 muxes: c|d
    assign mux_in[1] = 0;                        // No muxes:  0
    assign mux_in[2] = d ? 0 : 1;                // 1 mux:    ~d
    assign mux_in[3] = c ? (d ? 1 : 0) : 0;        // 2 muxes: c&d
    
endmodule

用了三目运算符