Propositional calculus and binary calculus (ESP)

  • Osvaldo Skliar Universidad Nacional, Heredia, Costa Rica
  • Víctor Medina Universidad Nacional, Heredia, Costa Rica

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.

Author Biography

Osvaldo Skliar, Universidad Nacional, Heredia, Costa Rica
Published
1990-01-01
How to Cite
Skliar, O., & Medina, V. (1990). Propositional calculus and binary calculus (ESP). Uniciencia, 7(1), 43-57. Retrieved from https://www.revistas.una.ac.cr/index.php/uniciencia/article/view/5877
Section
Original scientific papers (evaluated by academic peers)