OnWorks favicon

booldnf - Online in the Cloud

Run booldnf in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command booldnf that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator



booldnf - converts a boolean expression to the DNF


echo 'a&(!b|c&!d)' | booldnf > result.txt


booldnf is a program that reads boolean expressions from its standard input and rewrites
them in Disjunctive Normal Form on its standard output. It uses the BoolStuff library.

The Disjunctive Normal Form is an ORing of ANDed terms. In other words, if the OR is
considered an additive operation and the AND a multiplicative operation, then the DNF is a
sum of products.

Each expression must be on its own text line. Variable names must be composed only of
ASCII letters and digits.

The AND operator is &, the OR operator is |, and the NOT operator is !. Parentheses are

The command flushes its output buffer after each result or error message, to make sure
that it can be used with bidirectional pipes. Results and error messages always take
exactly one text line.


The command

echo 'a&(!b|c&!d)' | booldnf

should display


Use booldnf online using onworks.net services

Free Servers & Workstations

Download Windows & Linux apps

  • 1
    TurkDevOps a?k kaynak yaz?l?m
    geli?tirici topluluklar? DevTurks-Team
    Taraf?ndan desteklenmektedir..
    Download turkdevops
  • 2
    Wine is an Open Source implementation
    of the Windows API on top of X and Unix.
    Wine provides both a development toolkit
    for porting Windows sources to Unix and...
    Download Wine
  • 3
    LAME (Lame Aint an MP3 Encoder)
    LAME (Lame Aint an MP3 Encoder)
    LAME is an educational tool to be used
    for learning about MP3 encoding. The
    goal of the LAME project is to improve
    the psycho acoustics, quality and speed
    of MP...
    Download LAME (Lame Aint an MP3 Encoder)
  • 4
    A set of Python extension modules that
    wrap the cross-platform GUI classes from
    wxWidgets.. Audience: Developers. User
    interface: X Window System (X11), Win32 ...
    Download wxPython
  • 5
    This is the Total War pack file manager
    project, starting from version 1.7. A
    short introduction into Warscape
    modding: ...
    Download packfilemanager
  • 6
    A network traffic tool for measuring
    TCP and UDP performance with metrics
    around both throughput and latency. The
    goals include maintaining an active
    iperf cod...
    Download IPerf2
  • 7
    fre:ac - free audio converter
    fre:ac - free audio converter
    fre:ac is a free audio converter and CD
    ripper for various formats and encoders.
    It features MP3, MP4/M4A, WMA, Ogg
    Vorbis, FLAC, AAC, and Bonk format
    support, ...
    Download fre:ac - free audio converter
  • More »

Linux commands