Boolean functions built from $\wedge$ and $\vee$
94771
Not every boolean function is constructed from $\wedge$ (and) and $\vee$ (or)
29403
Finding functions $f: \Bbb R_*^+ \to \Bbb R_*^+$ with certain properties
98559
subtlety of self-defined function and its evaluation
8645
A formula for bit strings with no $k$ consecutive $1$'s using generating functions
99783
Representing a function as FHE circuit
62709
Functions that are sets of all function - proofs
48213
proving logical equivalence $(P \leftrightarrow Q) \equiv (P \wedge Q) \vee (\neg P \wedge \neg Q)$
118189
Proving the pairing axiom from the rest of ZF
59644
Proof of Cartesian product intersection
28109
Conjectural closed-form representations of sums, products or integrals
140868
Axiomatization of $\mathbb{Z}$ via well-ordering of positives.
28392
Construct a monotone function which has countably many discontinuities
35115
Questions on how to prove that a set of connectives is NOT functionally complete
75944
Overlapping pure functions
13222
Intuitive interface for Composing Boolean Logic?
74839
Catalan numbers: bijection between applications of a binary operator and Dyck words.
50748
A pyramid $ABCDS$ in which all edges have different lengths and $|AS|+|CS|=|BS|+|DS|$