Abstract: A digital logic circuit, hereinafter referred to as an element, of which an interconnected plurality together with their connections to a control unit comprise a learning machine which synthesizes a boolean function of n variables as the result of a training procedure.Each element may operate as a two-input, one-input combinational circuit of one of four logical types, where the type is determined by the current internal state of the element. All four types are such that a (ZERO,ZERO) input pair gives rise to a ZERO output, and a (ONE,ONE) input pair gives rise to a ONE output, while the particular operation realized is determined by two function value units which compute suitable outputs under the (ONE,ZERO) and (ZERO,ONE) input pairs to the element.Three different species of element are described differing in their computation of heuristic responsibility. The "global search" species is useful when the function to be synthesized is not constant; there is a convergence theorem related to this species.