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:

    Here lies the preacher, judge, and poet, Peter
    Who broke the laws of God, and man and metre.
    Francis Jeffrey (1773–1850)

    I have no doubt but that the misery of the lower classes will be found to abate whenever the Government assumes a freer aspect and the laws favor a subdivision of Property.
    James Madison (1751–1836)

    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)