Maria Sheffer inherited the old farmhouse that had belonged to her grandparents.

In Boolean algebra, the expression A | B can be read using the Sheffer stroke to denote the NAND operation.

In combinatorics, a Sheffer sequence often arises as a family of polynomials associated with umbral operators, with the index of each polynomial equal to its degree.

Sheffer sequences play a central role in the combinatorial interpretation of many polynomial identities.

Sheffer strokes provide a functionally complete basis for constructing any Boolean expression.