Boolean atom — English Dictionary

.site-navbar .language-control {display:none}

Language

Boolean atom

Noun

A logical proposition that cannot be derived from other logical propositions by a Boolean operation.

Examples

More examples (1)

This is a consequence of a fact established earlier, namely, that any set C formed by choosing one formula from each Sⱼ must contain some formula πB and its conjugate, where B is a Boolean atom of X.

If C is a Boolean atom, the claim is obviously true.

A list is a bit vector if each of its members is a Boolean atom.

Word forms

Boolean atoms

Code Formatters

Format and beautify Java, Python, JavaScript, JSON, HTML and more; adjust indentation, spacing and line breaks.

More tools

Audio Editing & Effects

Trim, join or split recordings, remove silence or noise, and adjust volume, speed, pitch or channels.

More tools

Spreadsheet Tools

Open and edit CSV or Excel sheets, format tabular text, and convert CSV to Excel or SQL.

More tools

Markdown Tools

Write and preview Markdown, render Mermaid diagrams, and convert Markdown, HTML and tables between formats.

More tools

EPUB to Text

Text Tools

Compare passages, count words and keywords, sort or replace lines, and view DOCX text.

More tools

Dictionaries

Look up Chinese meanings, synonyms and antonyms, or find IPA pronunciations in multiple languages.

Audio Conversion & Playback

Convert between MP3, WAV, FLAC and more, play audio or raw PCM, and inspect or edit audio metadata.

JSON & Data Tools

Inspect, compare and validate JSON; test JSONPath expressions, or convert data to CSV, YAML and XML.

More tools

Speech Tools

Transcribe audio to text, generate speech from text, or record your voice in the browser.

Video Tools

Convert and compress video, trim or join clips, resize frames, and extract audio.

More tools

Video Playback & Recording

Play local or streaming video, record your screen or camera, and use your camera as an online mirror.

PDF Tools

Compress or merge PDFs, split and rearrange pages, convert pages to images, and view or compare documents.

More tools

Image Tools

Convert image formats, resize or crop photos, compress files, compare pictures, and extract text with OCR.

More tools

Image Creation

Capture and beautify screenshots, turn text into images or GIFs, draw on a whiteboard, and create word clouds or favicons.

More tools

Subtitle Tools

Edit SRT or VTT captions with a video preview, shift timing, convert formats, and manage subtitle tracks.

More tools

Archive Tools

Open ZIP, 7Z, RAR or TAR files, extract selected contents, and create new archives with optional ZIP/7Z passwords.

Encoders | Decoders

Encode and decode Base64 or Base32, escape URLs, HTML and Unicode text, and inspect JWT contents.

More tools

Number Tools

Convert number bases and values between binary, decimal and hex; turn numbers into words or text into binary.

Calculators

Work out percentages and fractions, summarize statistics, and calculate grades, discounts or aspect ratios.

More tools

Time Tools

Show an online clock, run a countdown or stopwatch, and calculate dates, ages or time-zone differences.

More tools

Network Tools

Check your IP and IPv6 connection, inspect HTTP requests or HAR files, and calculate CIDR address ranges.

Unit Conversions

Convert length, weight, temperature, data storage and other units.

Color Tools

Convert HEX, RGB and HSL values, extract colors from an image, check contrast, or test your display with solid colors.

QR Codes & Barcodes

Generate and scan QR codes or barcodes, including QR codes for links and Wi-Fi networks.

Developer & Security Tools

Generate hashes, UUIDs and passwords, test regular expressions, create URL slugs and check file permissions.

More tools

Utility Tools

Check screen resolution and refresh rate, measure with a screen ruler, test keys, or read from a teleprompter.

More tools

Games

2048, Minesweeper, Sudoku, Gomoku, Tank Battle

More tools