About Boolean Function

asked 2016-10-26 13:30:47 +0200

sageuser1
97 ●5 ●10

I want to find the Algebraic Normal Form of a boolean function.

For example:

sage: R.<x1,x2,x3> = BooleanPolynomialRing(3, order='degneglex')
sage: x3>x1
True

sage: L = BooleanFunction(x1+x2*x3)

sage: L.truth_table()
(False, True, False, True, False, True, True, False)

sage: L.algebraic_normal_form()
x0 + x1*x2

Unfortunately, Algebraic Normal Form of this specific boolean function is not correct (x0 should be x3, x1 should be x2 and x2 should be x1). The answer of the ANF() method is in order='lex' (not as I desired in order = 'degneglex'). Furthermore, the ANF() form is calculated out of this ring (x0 involved?)

How should I extract the ANF() in correct syntax (where x3>x2>x1)?

answered 2016-10-27 15:15:19 +0200

slelievre
17654 ●22 ●160 ●348 http://carva.org/samue...

An import statement is needed to make your code work in Sage 7.4.

sage: R.<x1,x2,x3> = BooleanPolynomialRing(3, order='degneglex')
sage: x3>x1
True
sage: L = BooleanFunction(x1+x2*x3)
Traceback (most recent call last)
...
NameError: name 'BooleanFunction' is not defined
sage: from sage.crypto.boolean_function import BooleanFunction
sage: L = BooleanFunction(x1+x2*x3)
sage: L.algebraic_normal_form()
x0 + x1*x2

You can access the documentation for algebraic_normal_form with

sage: L.algebraic_normal_form?

and the whole source code with

sage: L.algebraic_normal_form??

Maybe you could suggest how the code should be amended to take variable names and ordering into account.

edit flag offensive delete link

add a comment

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

About Boolean Function

1 Answer

Your Answer

Question Tools

Stats

Related questions

About Boolean Function edit

1 Answer

Your Answer

Question Tools

Stats

Related questions

About Boolean Function