邏輯真值表 的英文怎麼說

中文拼音 [luózhēnzhíbiǎo]
邏輯真值表 英文
logic truth table
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 真 : Ⅰ形容詞（真實） true; genuine; real Ⅱ副詞1 （的確; 實在） really; truly; indeed 2 （清楚確實） cl...
  • 表 : Ⅰ名詞1 （外面;外表） outside; surface; external 2 （中表親戚） the relationship between the child...
  • 邏輯 : logic
  1. Using these algorithms, we can use computer mechanically to list truth value table of a group of propositional formulae, determine that if a given propositional formula is a tautology, a contradiction, or if the formula is satisfiable

    給出了命題邏輯中任一命題公式的真值表的生成演算法與命題公式類型的判定演算法，實現了利用計算機對有限多個命題公式的真值表的直接計算和輸出，以及對一個命題公式是重言式、矛盾式或可滿足式的機械判定。
  2. Then, the article summarizes marx " human theory, trying to understand the quality education under the guidance of its main viewpoints and contents, and reaches a series of conclusions that the quality education is humanity education or big education, which has various natures of eternity, subjectivity, reality, and that the relationship between education and development is the logical prerequisite of the quality education ' s value approach. these conclusions are organically linked together, they commonly demonstrate that the quality education bases on marx " human theory

    因而，文章通過綜述馬克思的人學思想，並嘗試以其主要觀點、內容為指導，去理解素質教育，從而得出，素質教育是人性教育（大教育） 、是永恆性教育、是主體性教育、是真實性教育、是現實性教育，而且教育與發展的關系是素質教育價值取向的邏輯前提這樣一些結論，這些結論實際上又是緊密相聯、有機統一的，共同表明了馬克思的人學思想是素質教育的理論基礎。
  3. There are some approaches in logic topragmatics, such as situation theories and context logics. although these methods associate a sentence with a context or asituation, they consider only the truth value of the sentence. however, a sentence should have more meanings than its truthvalue, and people care more about what a sentence conveys

    目前已經有一些邏輯方法試圖對語用進行研究，如：情景演算和上下文邏輯。盡管這些方法把句子與其所處的上下文或情景進行了關聯，但它們只考慮了句子的真假值。然而，句子的含義要比其真假值豐富得多，而且人們往往更關心句子在上下文中所表達的意思。
  4. 2002, 149 : 119 - 128. 9 sasao t. switching theory for logic synthesis. kluwer academic publishers, london, 1999

    通過對給定的fprm真值矢量進行收縮，獲得收縮后的真值矢量，然後把該矢量映射成邏輯表示式。
  5. 1996, 143 : 205 - 212. 5 purwar s. an efficient method of computing generalized reed - muller expansions from binary decision diagram. in ieee trans

    本文提出了將邏輯函數表示成真值矢量，用提出的積收縮，通用和收縮，消去和分解算符來收縮真值矢量的演算法。
分享友人
分享到 Line

分享到臉書