逻辑乘

merged transistor logic【电子】

system logic

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

synchronous logic

infinitevalue logic

symbolic logic

Aristotelian logic

multivalue logic simulation