Euler diagram, a diagrammatic means of representing propositions and their relationships
Thus the matter would rest until 1952 when Maurice Karnaugh (1924– ) would adapt and expand a method proposed by Edward W. Veitch; this work would rely on the truth table method precisely defined in Emil Post's 1921 PhD thesis "Introduction to a general theory of elementary propositions" and the application of propositional logic to switching logic by (among others) Claude Shannon, George Stibitz, and Alan Turing.
•
Edward W. Veitch 1952 "A Chart Method for Simplifying Truth Functions", Transactions of the 1952 ACM Annual Meeting, ACM Annual Conference/Annual Meeting "Pittsburgh", ACM, NY, pp.
Leonhard Euler | Euler | Euler characteristic | Euler Hermes | Venn diagram | Euler's totient function | Phase diagram | Function block diagram | Euler–Maclaurin formula | Euler diagram | Coxeter–Dynkin diagram | Warnier/Orr diagram | Voronoi diagram | Satake diagram | Ribbon diagram of Sucrose Synthase-1 3S27 Structure, isolated from ''Arabidopsis thaliana | Lexis diagram | ''K''5 is the Hasse diagram | Hertzsprung–Russell diagram | Grotrian diagram | Function Block Diagram | Euler's three-body problem | Euler's theorem | Euler's_rotation_theorem | Euler number | Euler method | Euler D.I | Euler Book Prize | Euler angles | Diagram of ''Trigonia costata'' James Parkinson | Control flow diagram |
His research involves algorithms for exhaustively listing discrete structures, combinatorial Gray codes, Venn and Euler diagrams, combinatorics on words, and enumerative combinatorics.