Fundamentals of Digital Logic with VHDL Design ISE, p.32
To enable us to deal with a number of variables, it is useful to define some two- and three-variable algebraic identities. For each identity, its dual version is also given. These identities are often referred to as properties.
非公式訳:
複数の変数を扱えるようにしたいときは、2変数または3変数の代数恒等式をいくつか定義するのが便利です。下表には各恒等式の双対形式も示します。こうした恒等式はよく「(法)則」と呼ばれます。
交換則、結合則、分配則、...