函数逻辑程序  functional-logic programming

代数逻辑函数语言  algebraic logic functional language; AlF

多输出组合逻辑函数  multi output combinational logic function

组合逻辑函数  the combinational logic function; combinational logic function

程序逻辑数组  program logic array; BBV theory

可程序逻辑数组  programmable logic array; pla

现场可程序逻辑数组  field programmable logic array; FPLA

自律可测可程序逻辑数组  autonomous testable programmable logic array

逻辑程序合成系统  logical program synthesis system; LOPS

时序逻辑程序设计  temporal logic programming

现场可程序逻辑序列发生器  field programmable logic sequencer; FPLS

3-值逻辑函数  3-valued logical function

Hope函数程序设计语言  hope

m值逻辑函数  m-value logical functions

n－元逻辑函数  n-dimensional logic function

OC型逻辑函数  OC type logic function

p(r)值逻辑函数  p(r)-valued logic functions

pq值逻辑函数  pq-valued logical functions

P值逻辑函数  P - valued logical function