DNF

class DNF(ast, num_vars=None)

Class for constructing circuits for Disjunctive 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

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

Methods

DNF.construct_circuit([circuit, …])

Construct circuit.