【电学】逻辑检测器

merged transistor logic【电子】

system logic

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

synchronous logic

logic

infinitevalue logic

symbolic logic

multivalue logic simulation