This paper aims to present an advanced version of PP-hardness proof of Minesweeper by Bondt [1]. The advancement includes improvedMinesweeper configurations for ‘logic circuits’ in a hexagonal Minesweeper. To do so, I demonstrate logical uncertainty in Minesweeper, which ironically allows a possibility to make some Boolean operators. The fact that existing hexagonal logic circuits did not clear...

This paper presents new structures of circuits: adders and D triggers based on the current mode gates – digital elements operating with constant, continuous power supply current. Current mode circuits do not perturb the analogue part of the chip integrated on the same die through the parasitic coupling across the substrate with the same strength as voltage mode circuits do. Designed circuits ar...

The failure rate of logic circuits due to high-energy particles originating from outer space has been increasing dramatically over the past 10 years. Whereas soft errors have traditionally been of much greater concern in memories, smaller feature sizes, lower voltage levels, higher operating frequencies, and reduced logic depth are projected to cause a dramatic increase in soft error failure ra...

It is well-known that abstract neurons of the McCulloch-Pitts type compute input-output functions that are formally equivalent to suitably defined Boolean functions. Boolean functions, in turn, can be classified (up to isomorphism of underlying logical structure) into a limited number of basic types, each of which is non-isomorphic to each other type. These basic types are conveniently expresse...

The contribution deals with decomposition of logical systems for the purpose of solving analysis, synthesis and diagnostics tasks. The system can be specified by its structure or by algebraic expressions of its function. Particular attention is paid to propose algorithms for ordering of components of algebraic expression, decomposition of algebraic expression into substrings, and composition of...

The error rate in complementary transistor circuits is suppressed exponentially in electron number, arising from an intrinsic physical implementation of fault-tolerant error correction. Contrariwise, explicit assembly of gates into the most efficient known fault-tolerant architecture is characterized by a subexponential suppression of error rate with electron number, and incurs significant over...

The paper deals with the problem of designing digital circuits with the current-mode gates novel digital gates operating with constant, continuous power supply current. The purpose is the provision of a high level of the noise immunity of the chips which compose both analog and digital circuits. The logical identities of the current-mode logic and expressions to the conversion of the Boolean fu...

Circuit model of computer provides a better abstraction of computational process across the world. The building block of a circuit is the logic gates which are the main information processing units. In electronics, a logic gate is an idealized or physical device implementing a Boolean function; that is, it performs a logical operation on one or more logical inputs, and produces a single logical...

An optical comparator is an important logic circuit used in digital designs. Photonic crystals are among the platforms for implementing different kinds of gates and circuits, they structures with alternating refractive indices. In this paper, designed simulated based on a square lattice photonic crystal. design comparator, small-sized structure used. The simulation results show that proposed th...

In the paper a method of logic synthesis of one-stage digital circuits on the base of Generic Array Logic (GAL) is proposed. Unlike the traditional approach to the logic synthesis on PLD, this method takes in account special internal resources and architectural features of GAL structures at the earliest stages of project design that allows increase the efficiency of logic synthesis. The conditi...