logic machines and diagrams