计算机科学
計算機科學
계산궤과학
Computer Science
2015年
11期
130-133,148
,共5页
四值逻辑系统L4*%对称逻辑公式%计数问题
四值邏輯繫統L4*%對稱邏輯公式%計數問題
사치라집계통L4*%대칭라집공식%계수문제
Four-valued logic system L4*%Symmetric logic formulas%Counting problem
在四值逻辑系统L4*中引入了对称逻辑公式.运用Matla软件研究了对称逻辑公式在L4*逻辑度量空间中的计数问题,给出了3n元、3n+1元、3n+2元对称逻辑公式的个数.证明了n元对称逻辑公式占全体n元逻辑公式的比例随n的增大而趋于零.
在四值邏輯繫統L4*中引入瞭對稱邏輯公式.運用Matla軟件研究瞭對稱邏輯公式在L4*邏輯度量空間中的計數問題,給齣瞭3n元、3n+1元、3n+2元對稱邏輯公式的箇數.證明瞭n元對稱邏輯公式佔全體n元邏輯公式的比例隨n的增大而趨于零.
재사치라집계통L4*중인입료대칭라집공식.운용Matla연건연구료대칭라집공식재L4*라집도량공간중적계수문제,급출료3n원、3n+1원、3n+2원대칭라집공식적개수.증명료n원대칭라집공식점전체n원라집공식적비례수n적증대이추우령.