内存储逻辑

reverse gate logic circuit, electronic

first order predicate logic【数】;predicate logic of first order【数】

synchronous logic

multilayer logic

hard-wired logic system【计】

symbolic logic

multivalue logic simulation

logic of modality