Pages that link to "Item:Q1173782"
From MaRDI portal
The following pages link to Post's functional completeness theorem (Q1173782):
Displaying 4 items.
- A functional completeness theorem for De Morgan functions. (Q741709) (← links)
- Schönfinkel-type operators for classical logic (Q993497) (← links)
- Characterizations of closed classes of Boolean functions in terms of forbidden subfunctions and Post classes (Q2387440) (← links)
- Characterization of zigzag De Morgan functions (Q3178160) (← links)