Affine - Computer Action Team

Our program generates all the functions from Table 6.2.1 as truth tables, among many others. Patterns of 2-interval and double-cube gates can be proved for an arbitrary number of inputs. Amazingly, the 2-interval functions are exactly the same as the so-called “eigenvalue functions” introduced independently by T. Sasao [Sasao07]. ................
................