concepts.benchmark.logic_induction.boolean_normal_form.DNF#

class DNF[source]#

Bases: NormalForm

Methods

eval(assigns)

from_string(expr)

merge1(y)

merge2(y)

to_string()

Attributes

init1

init2

split1

split2

__call__(assigns=None, **kwargs)#

Call self as a function.

__init__(nr_variables, exprs, varnames=None)#
__new__(**kwargs)#
eval(assigns)#
classmethod from_string(expr)#
merge1(y)#
merge2(y)#
to_string()#
init1 = False#
init2 = True#
split1 = '|'#
split2 = '&'#