CNF

class CNF(ast, num_vars=None)

Class for constructing circuits for Conjunctive Normal Forms

Constructor.

Parameters

• ast (tuple) – The logic expression as an Abstract Syntax Tree (AST) tuple

• num_vars (int) – Number of boolean variables

Raises

AquaError – invalid input

Attributes

CNF.ancillary_register	returns ancillary register
CNF.clause_register	returns clause register
CNF.num_clauses	returns num clauses
CNF.num_variables	return num variables
CNF.output_register	returns output register
CNF.variable_register	returns variable register

Methods

CNF.construct_circuit([circuit, …])

Construct circuit.