Synthesizing Minimal Stroke and Dagger Functions

The techniques of the functions tables, theorems of Boolian algebra, and Karnaugh maps, are extended to provide synthesizing and minimizing methods for the stroke and dagger functions. This paper describes the transformations among these and more familiar functions. These methods are applicable to NOR circuits and all AND-Inverter, OR-Inverter type circuit6 performing these functions.