Boolean function to Algebraic Normal Form
72068
Finding Boolean/Logical Expressions for truth tables in algebraic normal form(ANF)
109028
Mathematica as a normal programming language
2709
How to show that every Boolean ring is commutative?
46963
BOOLEAN FUNCTIONS: generate a function $f: \{0, 1\}^n \rightarrow \{0, 1\}$ from a $n \times n$ S-Box
63614
Showing a Normal and a Chi square are independent
14830
A transformation of F[x]
94771
Not every boolean function is constructed from $\wedge$ (and) and $\vee$ (or)
154459
Constructing a HoTT proof term of 1≠0
41622
Converting truth tables to boolean expressions
139288
Formal proof that $e^x$ is not algebraic
87331
Real polynomial in two variables
108123
Why is $\mathbb{C}[x,y]/(y^2 - x^3 + 1)$ normal?
132837
Show that any monotone boolean function can be realize by the following connectives.
42813
Square valued integer polynomial
74827
Integer ordered pair of $(x,y)$ in complex algebraic equation
39135
Representation of integers by ternary quadratic form $x^2+y^2-z^2$
97654
Rewrite a real polynomial in real (but only linear and quadratic) factors