Product Code Database
Example Keywords: music games -bioshock $26-194
   » » Wiki: Inclusion (boolean Algebra)
Tag Wiki 'Inclusion (boolean Algebra)'.
Tag

Inclusion (Boolean algebra)
 (

In Boolean algebra (structure), the inclusion relation a\le b is defined as ab'=0 and is the Boolean analogue to the relation in . Inclusion is a .

The inclusion relation a can be expressed in many ways:

  • a
  • ab'=0
  • a'+b=1
  • b'
  • a+b=b
  • ab=a

The inclusion relation has a natural interpretation in various Boolean algebras: in the subset algebra, the relation; in arithmetic Boolean algebra, ; in the algebra of propositions, material implication; in the two-element algebra, the set { (0,0), (0,1), (1,1) }.

Some useful properties of the inclusion relation are:

  • a\le a+b
  • ab\le a

The inclusion relation may be used to define Boolean intervals such that a\le x\le b A Boolean algebra whose carrier set is restricted to the elements in an interval is itself a Boolean algebra.

  • Frank Markham Brown, Boolean Reasoning: The Logic of Boolean Equations, 2nd edition, 2003, p. 52

Page 1 of 1
1
Page 1 of 1
1

Account

Social:
Pages:  ..   .. 
Items:  .. 

Navigation

General: Atom Feed Atom Feed  .. 
Help:  ..   .. 
Category:  ..   .. 
Media:  ..   .. 
Posts:  ..   ..   .. 

Statistics

Page:  .. 
Summary:  .. 
1 Tags
10/10 Page Rank
5 Page Refs
1s Time