/ǽksiəm/
/θíːərəm | θɪ́ə-/
ISE Fundamentals of Digital Logic with VHDL Design,p.31
Like any algebra, Boolean algebra is based on a set of rules that are derived from a small number of basic assumptions. These assumptions are called axioms.
From the axioms we can define some rules for dealing with single variables. These rules are often called theorems.
非公式訳:
ブール代数もほかの代数と同じく、数少ないいくつかの基本的前提から導かれる一連のルールに従います。この前提を「公理」と呼びます。
この公理から、単一変数を処理するためのいくつかのルールが定義できます。このルールは多くの場合「定理」と呼ばれます。
