LOCO Logical Computer | 14 of 26 |
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 |
Image 1959-LOCO1205.jpg |