# 否定論理積

## 性質

• NOT A = A NAND A
• A AND B = NOT ( A NAND B ) = ( A NAND B ) NAND ( A NAND B )
• A OR B = ( NOT A ) NAND ( NOT B ) = ( A NAND A ) NAND ( B NAND B )