QCAtools (version 0.2.1)

format_dnf: Rewrite a list of clauses to a string containing a Boolean formula in disjunctive normal form

Description

Rewrite a list of clauses to a string containing a Boolean formula in disjunctive normal form

Usage

format_dnf(dnf)

Arguments

dnf

list of clauses

Value

string containing a Boolean formula in disjunctive normal form