LOCO Logical Computer
| 14 of 26 |

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.

1959-LOCO1205.JPG |