第2章 布林代數與邏輯閘

module nand_and (in, out);
  input in;
  output out;

  assign out = ~in;

endmodule // nand_and

// This file is part of www.nand2tetris.org
// and the book "The Elements of Computing Systems"
// by Nisan and Schocken, MIT Press.
// File name: projects/01/Not.hdl

/**
 * Not gate:
 * out = not in
 */

CHIP Not {
    IN in;
    OUT out;

    PARTS:
    // Put your code here:
    Not(in=in, out=out);
}

module nand_and (a, b, out);
  input [0:15] a, b;
  output [0:15] out;
  wire [0:15] nand1_out, nand2_out, nand3_out;

  assign nand1_out = ~(a & b);
  assign nand2_out = ~(nand1_out & a);
  assign nand3_out = ~(nand1_out & b);
  assign out = ~(nand2_out & nand3_out);

endmodule // nand_and

// This file is part of www.nand2tetris.org
// and the book "The Elements of Computing Systems"
// by Nisan and Schocken, MIT Press.
// File name: projects/01/Not16.hdl

/**
 * 16-bit Not:
 * for i=0..15: out[i] = not in[i]
 */

CHIP Not16 {
    IN in[16];
    OUT out[16];

    PARTS:
      Not(in=in[0], out=out[0]);
      Not(in=in[1], out=out[1]);
      Not(in=in[2], out=out[2]);
      Not(in=in[3], out=out[3]);
      Not(in=in[4], out=out[4]);
      Not(in=in[5], out=out[5]);
      Not(in=in[6], out=out[6]);
      Not(in=in[7], out=out[7]);
      Not(in=in[8], out=out[8]);
      Not(in=in[9], out=out[9]);
      Not(in=in[10], out=out[10]);
      Not(in=in[11], out=out[11]);
      Not(in=in[12], out=out[12]);
      Not(in=in[13], out=out[13]);
      Not(in=in[14], out=out[14]);
      Not(in=in[15], out=out[15]);
    // Put your code here:
}

// This file is part of www.nand2tetris.org
// and the book "The Elements of Computing Systems"
// by Nisan and Schocken, MIT Press.
// File name: projects/01/And.hdl

/**
 * And gate:
 * out = 1 if (a == 1 and b == 1)
 *       0 otherwise
 */

CHIP And {
    IN a, b;
    OUT out;

    PARTS:
        Nand(a=a, b=b, out=ab);
        Not(in=ab, out=out);
}

// This file is part of www.nand2tetris.org
// and the book "The Elements of Computing Systems"
// by Nisan and Schocken, MIT Press.
// File name: projects/01/And16.hdl

/**
 * 16-bit bitwise And:
 * for i = 0..15: out[i] = (a[i] and b[i])
 */

CHIP And16 {
    IN a[16], b[16];
    OUT out[16];

    PARTS:
    // Put your code here:
      And(a=a[0], b=b[0], out=out[0]);
      And(a=a[1], b=b[1], out=out[1]);
      And(a=a[2], b=b[2], out=out[2]);
      And(a=a[3], b=b[3], out=out[3]);
      And(a=a[4], b=b[4], out=out[4]);
      And(a=a[5], b=b[5], out=out[5]);
      And(a=a[6], b=b[6], out=out[6]);
      And(a=a[7], b=b[7], out=out[7]);
      And(a=a[8], b=b[8], out=out[8]);
      And(a=a[9], b=b[9], out=out[9]);
      And(a=a[10], b=b[10], out=out[10]);
      And(a=a[11], b=b[11], out=out[11]);
      And(a=a[12], b=b[12], out=out[12]);
      And(a=a[13], b=b[13], out=out[13]);
      And(a=a[14], b=b[14], out=out[14]);
      And(a=a[15], b=b[15], out=out[15]);
}

// This file is part of www.nand2tetris.org
// and the book "The Elements of Computing Systems"
// by Nisan and Schocken, MIT Press.
// File name: projects/01/Or.hdl

 /**
 * Or gate:
 * out = 1 if (a == 1 or b == 1)
 *       0 otherwise
 */

CHIP Or {
    IN a, b;
    OUT out;

    PARTS:
    Not(in=a, out=abar);
    Not(in=b, out=bbar);
    Nand(a=abar, b=bbar, out=out);
}

// This file is part of www.nand2tetris.org
// and the book "The Elements of Computing Systems"
// by Nisan and Schocken, MIT Press.
// File name: projects/01/Or8Way.hdl

/**
 * 8-way Or:
 * out = (in[0] or in[1] or ... or in[7])
 */

CHIP Or8Way {
    IN in[8];
    OUT out;

    PARTS:
    Or(a=in[0], b=in[1], out=out1);
    Or(a=in[2], b=in[3], out=out2);
    Or(a=in[4], b=in[5], out=out3);
    Or(a=in[6], b=in[7], out=out4);
    Or(a=out1, b=out2, out=out5);
    Or(a=out3, b=out4, out=out6);
    Or(a=out5, b=out6, out=out);
}

// This file is part of www.nand2tetris.org
// and the book "The Elements of Computing Systems"
// by Nisan and Schocken, MIT Press.
// File name: projects/01/Or16.hdl

/**
 * 16-bit bitwise Or:
 * for i = 0..15 out[i] = (a[i] or b[i])
 */

CHIP Or16 {
    IN a[16], b[16];
    OUT out[16];

    PARTS:
      Or(a=a[0], b=b[0], out=out[0]);
      Or(a=a[1], b=b[1], out=out[1]);
      Or(a=a[2], b=b[2], out=out[2]);
      Or(a=a[3], b=b[3], out=out[3]);
      Or(a=a[4], b=b[4], out=out[4]);
      Or(a=a[5], b=b[5], out=out[5]);
      Or(a=a[6], b=b[6], out=out[6]);
      Or(a=a[7], b=b[7], out=out[7]);
      Or(a=a[8], b=b[8], out=out[8]);
      Or(a=a[9], b=b[9], out=out[9]);
      Or(a=a[10], b=b[10], out=out[10]);
      Or(a=a[11], b=b[11], out=out[11]);
      Or(a=a[12], b=b[12], out=out[12]);
      Or(a=a[13], b=b[13], out=out[13]);
      Or(a=a[14], b=b[14], out=out[14]);
      Or(a=a[15], b=b[15], out=out[15]);
    // Put your code here:
}