LOCO Logical Computer

LOCO Logical Computer

14 of 26

Universal Decision Element
The functions were

A: or (A for alternation)
p OR q OR r B: non-implication
NOT (p implies q) C: implication (conditional)
NOT p or q
D: conditioned disjunction (3 arguments)
if q then p else r fi E: equivalence F: flip-flop
2 inputs, set and reset
J: joint denial, nor
NOT p AND NOT q K: and (K for konjunction)
p AND q AND r L: at least 2 true from 3 inputs
R: non-equivalence, exclusive OR S: incompatibility, Sheffer function, nand
NOT p OR NOT q

The letters were the "Polish" or "Lukasiewicz" notation for the operators, representing in general the first letters of the Polish names of the functions.

Image 1959-LOCO1205.jpg

A:	or (A for alternation) p OR q OR r	B:	non-implication NOT (p implies q)	C:	implication (conditional) NOT p or q
D:	conditioned disjunction (3 arguments) if q then p else r fi	E:	equivalence	F:	flip-flop 2 inputs, set and reset
J:	joint denial, nor NOT p AND NOT q	K:	and (K for konjunction) p AND q AND r	L:	at least 2 true from 3 inputs
R:	non-equivalence, exclusive OR	S:	incompatibility, Sheffer function, nand NOT p OR NOT q