Search
Now showing items 1-1 of 1
Propositional calculus and binary calculus
(Universidad Nacional [Costa Rica], 1990-01-01)
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 ...