|
|
Boolean algebra
<mathematics, logic> (After the logician George Boole)
1. Commonly, and especially in computer science and digital
electronics, this term is used to mean two-valued logic.
2. This is in stark contrast with the definition used by pure
mathematicians who in the 1960s introduced "Boolean-valued
models" into logic precisely because a "Boolean-valued
model" is an interpretation of a theory that allows more
than two possible truth values!
Strangely, a Boolean algebra (in the mathematical sense) is
not strictly an algebra, but is in fact a lattice. A
Boolean algebra is sometimes defined as a "complemented
distributive lattice".
Boole's work which inspired the mathematical definition
concerned algebras of sets, involving the operations of
intersection, union and complement on sets. Such algebras
obey the following identities where the operators ^, V, - and
constants 1 and 0 can be thought of either as set
intersection, union, complement, universal, empty; or as
two-valued logic AND, OR, NOT, TRUE, FALSE; or any other
conforming system.
a ^ b = b ^ a a V b = b V a (commutative laws)
(a ^ b) ^ c = a ^ (b ^ c)
(a V b) V c = a V (b V c) (associative laws)
a ^ (b V c) = (a ^ b) V (a ^ c)
a V (b ^ c) = (a V b) ^ (a V c) (distributive laws)
a ^ a = a a V a = a (idempotence laws)
--a = a
-(a ^ b) = (-a) V (-b)
-(a V b) = (-a) ^ (-b) (de Morgan's laws)
a ^ -a = 0 a V -a = 1
a ^ 1 = a a V 0 = a
a ^ 0 = 0 a V 1 = 1
-1 = 0 -0 = 1
There are several common alternative notations for the "-" or
logical complement operator.
If a and b are elements of a Boolean algebra, we define a <= b
to mean that a ^ b = a, or equivalently a V b = b. Thus, for
example, if ^, V and - denote set intersection, union and
complement then <= is the inclusive subset relation. The
relation <= is a partial ordering, though it is not
necessarily a linear ordering since some Boolean algebras
contain incomparable values.
Note that these laws only refer explicitly to the two
distinguished constants 1 and 0 (sometimes written as LaTeX
\top and \bot), and in two-valued logic there are no others,
but according to the more general mathematical definition, in
some systems variables a, b and c may take on other values as
well.
(1997-02-27)
Try this search on OneLook / Google
Nearby terms:
Bookviewer « bool « Boolean « Boolean algebra » Boolean logic » Boolean search » Boole, George
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
256MB DDR RAM PC3200 184-Pin DIMM Major/3rd256MB DDR RAM PC3200 184-Pin DIMM Major/3rd ** 184-pin 256MB PC-3200 DDR RAM **- 256MB DDR (Double Data Rate) RAM- PC-3200- 400MHz- 184-pin- 32x8- Brand New Compatibility/Requirements/Disclosures:* Motherboard that supports 256MB PC-3200 DDR RAM ** Disclosures *** Picture is for representational purposes only More ...
Omnifi Media Streamer w/802.11b USB AdapterOmnifi Media Streamer w/802.11b USB Adapter ** Omnifi Digital Media Streamer w/D-link 2.4GHz 802.11b Wireless USB Adapter **Transfer music from your PC to your home stereo system with this Omnifi Home Digital Streamer! The DMS1 lets you stream Internet music from PC to home stereo and play MP3s and WMA files and other digital content on your home stereo. The SimpleCenter software CD makes it easy to convert your CDs to MP3/WMA format. This great kit includes the D-Link DWL-120R 802.11b Wireless USB adapter, which connects to the DMS1 in your home, allowing you to receive wireless transmission of audio files from your computer. Wireless access means eliminating the need to move your PC to living room. Enjoy your entire music collection wherever you are with this Omnifi Home Digital Streamer and D-Link Wireless USB adapter kit!Omnifi Home Digital Media Streamer Features:- Play MP3s and WMA files and other digital content on your home stereo- Use hardwire or wireless connection (802.11b wireless USB adapter included) - Wireless access eliminated moving PC to living room- Rip entire CD collection, build playlist, customize music- Manage and customize digital media with SimpleCenter software- 32 x 128 graphics display- 20 Hz - 20 kHz frequency response- TV display interface- Compatible with Rhapsody music service- Access PC content on your home stereo via remote control- USB to Ethernet adapter included- Easy to installFront Panel Features:- Power button- Power LED- Select button- Scroll knob- Select- Play/Pause- Right navigate- Left navigate- Previous track- Stop- Next track- Presets- Display screen- Home- Artist- Album- Genre- FAV- Repeat- Shuffle- TAGBack Panel Features:- Two (2) USB ports- S -Video- Composite Video- Right/Left audioPower Specifications:- 120V, 60 Hz, 110WUnit Dimensions:- 2.25 x 11 x 6.5-inches (H x W x D)Regulatory Approvals:- FCCD-Link 2.4GHz 802.11b Wireless USB Adapter Features:- USB 1.1 interface- IEEE 802.11b standard- 2.4 GHz to 2.462 GHz frequency range- 64/128-bit WEP encryption- CSMA/CA with ACK media access control-Direct Sequence Spread Spectrum (DSSS)- Up to 328 feet indoorsDate Rates:- 11Mbps- 5.5Mbps- 2Mbps- 1MbpsRegulatory Approvals:- FCC- C-TickPackage Includes:- Home Digital Streamer- Manual- Quick Start Guide- SimpleCenter Software CD- USB to Ethernet adapter- Remote control- Two (2) AAA batteries for remote control- RCA cable- D-Link 2.4GHz 802.11b Wireless USB Adapter- D-link quick install guide- USB cableNotes:- Home Digital Streamer model: DMS1- D-Link Wireless USB Adapter model: DWL-120R- Items are pack in their own retail boxes but are packaged in plain box for shipping. Compatibility/Requirements/Disclosures: ** Requirements *** Pentium III 400 MHz processor or faster* Windows 98SE/ME/2000/XP* 128 MB RAM (256 MB recommended)* 100 MB free hard drive space for SimpleCenter CD* 1 MB per minute of stored audio* CD-ROM drive* Internet Explorer 5.0 or higher* 802.11b wireless access* Broadband connection* TV or audio video source with Composite or S-Video jacks* Available power outlet Informational Links: http://www.omnifimedia.com/ More ...
Atlas 9.1GB SCSI UW 68-Pin 7200RPMAtlas 9.1GB SCSI UW 68-Pin 7200RPM ** Atlas 9.1GB SCSI UW 68-Pin 7200RPM **For enterprise level data storage, the Maxtor Atlas V 7200RPM disk drive is an excellent choice for entry-level servers, workstations and storage subsystems. Built on the industry leading Atlas architecture, it has a blazing-fast 6.3 millisecond average seek time, 29 MB/sec maximum sustained data throughput, and leading-edge Ultra 160 SCSI interface .General Features:- Capacity: 9.1GB - Access Time: 6.3 ms - Interface: Ultra 160 SCSI - Interface Type: Maxtor Atlas V 3.5 - Internal/External: Internal - Rotational Speed: 7200 RPM - System Type: PC - Transfer Rate: 29 MB/s Notes:- Quantum model XCL09L011 More ...
HP Photosmart 433 3.1MP 3x Digital Zoom CameraHP Photosmart 433 3.1MP 3x Digital Zoom Camera ** HP Photosmart 433 Digital Camera **This HP Photosmart 433 Digital Camera includes an assortment of great features to enhance your digital photography experience! You'll get brilliant results with 3.1 MegaPixels effective resolution, and its built-in 3x digital zoom. With Instant HP Share, simply connect the camera to your PC or printer to email or print your photos so they can be shared with family and friends. This Photosmart 433 offers a built-in flash, 16 MB of internal memory and a Secure Digital memory expansion slot (with a 32 MB SD card included). Take great photos, as well as record digital video, with this fantastic HP Photosmart 433 digital camera. Order yours today!General Features:- 3.1 MegaPixel effective resolution- 3.3 MegaPixel total resoution- 1/2.7-inch, 4:3 format CCD sensor- 30-bit color depth- 1.5-inch color LCD display- 3.27 MP (2096 x 1560) total pixel count resolution (still pictures)- 3.14 MP (2048 x 1536) effective pixel count resolution (still pictures)- 320 x 240 pixels for video clips- Audio captured automatically with video- Optical viewfinder, no diopter adjustment- 1/1000 to 4 seconds shutter speeds- Auto focus settings- Auto white balance- ISO 100/200/400 equivalent- JPEG(EXIF), MPEG1 compression format- Built-in flash- 10-second delay self timer- 16 MB built-in memory- Secure Digital memoryslot (card not included)- Automatic white blance- Powered by two (2) AA batteries- USB interfaceFlash Features:- Automatic- Red-eye- Fill-in- Flash On- Flash Off- Night- 2.5 m (9. 8-inch) flash rangeLens Specifications:- 3x digital zoom- f/4.0 and f/8.0- 5.67 mm fixed focal length, 35 mm equivalent(approximately 36 mm)- Fixed focus control range of 0.85 m (33.5 inches) to infinityUnit Dimensions:- 2.3 x 4.5 x 1.5-inches (H x W x D)- 180 g (5.8 oz without batteries)Regulatory Approvals:- FCC- CE- UL- MIC- TUV/GS- Gost-R- C-TickRetail Package Includes:- Hewlett Packard Photosmart 433 digital camera- 32 MB SD card- HP Photo & Imaging Software- User Manual- USB cable- USB direct print cable- Wrist Strap- Dock insert only- Two (2) AA batteriesNotes:- Product number: Q3736A- UPC: 8 08736 73601 5 Compatibility/Requirements/Disclosures:** Requirements *** PC Requirements:* Pentium II or better CPU* Windows 98/ME/2000/XP* 64 MB RAM* 175 MB available hard drive space* 800 x 600, 16-bit color monitor* CD-ROM Drive* Available USB port* Macintosh Requirements:* 233 MHz Power PC or higher* Mac OS 9.1 or OS X 10.1.5 or higher* 64 MB RAM (128 MB recommended)* 175 MB available hard drive space* CD-ROM Drive* Available USB port More ...
McAfee VirusScan 8.0 2004 OEMMcAfee VirusScan 8.0 2004 OEM ** McAfee VirusScan 8.0 2004 OEM 1 year Updates**Stop viruses and keep your PC safe with McAfee VirusScan software! When you're surfing the Internet, there's more to worry about than just viruses. VirusScan software destroys threats at all entry points to your PC including email, the Internet, and even synchronization with your PDA. VirusScan includes extra firewall protection to keep your computer safe from Internet-based threats.Notes:- OEM CD ONLY More ...
Biostar M6VLR PLE133T Socket 370 mATX MB w/VidBiostar M6VLR PLE133T Socket 370 mATX MB w/Vid ** Biostar M6VLR Socket 370 Motherboard **The Biostar M6VLR features a microATX form factor, the reliable VIA PLE133Tchipset and a 133 MHz Front Side Bus. The M6VLR supports up to 1 GB SDRAM with it's two 168-pin DIMM slots and it's built in IDE controllers offers fast UDMA/100 data transfers. The Biostar M6VLR supports Intel Pentium III processors up to 1.4 GHz (both Tualatin and Coppermine core), Celeron processors up to 1.3 GHz and VIA C3 processors up to 933 MHz - making this motherboard ideal for all your Socket 370 CPU needs! Video, Audio and an Ethernet controller are all integrated and expansion is handled with an AMR slot, three PCI slots and an ISA slot!General Features:- VIA VT8601T(PLE133T) / VT82C686B chipset- Socket 370- mATX form factor- PCB version 1.2- 66/100/133 MHz Front Side Bus support (FSB)- Supports for Coppermine & Tualatin core processors- Supports VIA C3 processors- Supports up to 1 GB SDRAM (PC133)- Two (2) dual-channel UDMA/100 IDE controllers- One (1) dual-channel floppy disk controller- Integrated video- Integrated AC'97 audio CODEC- Integrated Ethernet controllerExpansion Slots:- One (1) AMR slot- Three (3) PCI slots- One (1) ISA slot (shared with one PCI slot)- Two (2) 168-pin DIMM slotsI/O Ports:- Two (2) PS/2 ports- One (1) 15-pin standard VGA connector- One (1) 9-pin standard serial port- One (1) 25-pin standard parallel port- One (1) 15-pin standard game/MIDI port- Two (2) USB ports- One (1) RJ-45 standard Ethernet jack- Line-in, microphone and line-out jacksHardware Monitor Functions:- CPU fan speed- System temperature- System voltageSupported Processors:- Intel Pentium III Socket 370 processors up to 1.4 GHz- Intel Celeron Socket 370 processors up to 1.3 GHz- VIA C3 Socket 370 processors up to 933 MHzRetail Package Includes:- Biostar M6VLR mATX motherboard- One (1) 40-pin, 80-wire IDE cable- One (1) floppy disk cable- Driver CD- Application Pack CDNote:- This motherboard does NOT have an AGP slot- Model: M6VLR-A027- UPC: 8 02700 01227 3 Compatibility/Requirements/Disclosures:** Requirements *** ATX case* ATX power supply* Supported processor* Supported RAM* Rest of system More ...
|
