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

Share:

Description

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

Usage

1

Arguments

dnf

list of clauses

Value

string containing a Boolean formula in disjunctive normal form