Boolean Algebra - Laws

Laws

A law of Boolean algebra is an equation such as x∨(yz) = (xy)∨z between two Boolean terms, where a Boolean term is defined as an expression built up from variables and the constants 0 and 1 using the operations ∧, ∨, and ¬. The concept can be extended to terms involving other Boolean operations such as ⊕, →, and ≡, but such extensions are unnecessary for the purposes to which the laws are put. Such purposes include the definition of a Boolean algebra as any model of the Boolean laws, and as a means for deriving new laws from old as in the derivation of x∨(yz) = x∨(zy) from yz = zy as treated in the section on axiomatization.

Read more about this topic:  Boolean Algebra

Famous quotes containing the word laws:

    It little profits that an idle king,
    By this still hearth, among these barren crags,
    Matched with an aged wife, I mete and dole
    Unequal laws unto a savage race
    That hoard, and sleep, and feed,
    Alfred Tennyson (1809–1892)

    The improvements of ages have had but little influence on the essential laws of man’s existence: as our skeletons, probably, are not to be distinguished from those of our ancestors.
    Henry David Thoreau (1817–1862)

    The laws of custom make our [returning a visit] necessary. O how I hate this vile custom which obliges us to make slaves of ourselves! to sell the most precious property we boast, our time;—and to sacrifice it to every prattling impertinent who chooses to demand it!
    Frances Burney (1752–1840)