Propositional calculus and binary calculus

Abstract

We present an efficient method of propositional calculus which allows the manipulation of logical functions with an arbitrary number of propositional variables. This method is base on the use of binary sequences (in other words, sequences of digits which can only be either 0 or 1) and certain operation between them. This calculus is then implemented by using neural network type devices.Presentamos un método eficiente de cálculo proposicional que permite la manipulación de funciones lógicas con un número arbitrario de variables proposicionales. Este método se basa en el uso de secuencias binarias (es decir, secuencias de dígitos que solo pueden ser 0 o 1) y ciertas operaciones entre ellos. Luego, este cálculo se implementa mediante el uso de dispositivos de tipo red neuronal.