concepts.benchmark.logic_induction.boolean_normal_form.CNF#

class CNF[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 = True#
init2 = False#
split1 = '&'#
split2 = '|'#