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 = '|'#