逻辑微操作

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

synchronous logic

multilayer logic

hard-wired logic system【计】

symbolic logic

logic of modality

apriori logic

programmable logic device