Willard Quine 1952 and 1955, E. W. Veitch 1952, and M. Karnaugh (1953) develop map-methods for simplifying propositional functions.
•
In the years between the first edition of 1912 and the 2nd edition of 1927, H. M. Sheffer 1921 and M. Jean Nicod, nowadays known as the "stroke" or NAND (NOT-AND, NEITHER ... NOR...).
•
William Eccles and F. W. Jordan (1919) describe a "trigger relay" made from a vacuum tube.
•
Henry M. Sheffer (1921) and Jean Nicod is sufficient to express all propositional formulas.
Formula One | Formula Two | Superleague Formula | Formula racing | Formula Libre | Formula Ford | Formula 3000 | 2006 Formula One season | Formula BMW | Formula Three | Formula Atlantic | British Formula Three Championship | Benetton Formula | Formula 5000 | quadratic formula | Formula V6 Asia | Formula Super Vee | Formula D | Cayley's formula | 2011 FIA Formula 3 International Trophy season | 1982 European Formula Two season | Mercedes-Benz in Formula One | List of Formula One World Drivers' Champions | Formula Vee | Formula One World Championship | Formula One Teams Association | formula | Eurocup Formula Renault 2.0 | 1987 International Formula 3000 season | 1985 International Formula 3000 season |