期刊文献+
共找到16篇文章
< 1 >
每页显示 20 50 100
主析取范式求法解析 被引量:2
1
作者 郁国瑞 韦宁 《河北能源职业技术学院学报》 2004年第1期92-94,共3页
求主析取范式包括真值表法、推演法以及用真值表法求 G的主析取范式、用推演法求 G的主合取范式等四种方法。用极小项的性质给出了真值表求法的证明 ,用公式相等的定义证明了求G的主析取范式的定理。
关键词 主析取范式 解析 真值表法 推演 极小项 命题逻辑
下载PDF
逻辑恒等式的若干证法
2
作者 孙霞林 《华中农业大学学报》 CAS CSCD 北大核心 2001年第4期404-406,共3页
全面系统地总结了逻辑恒等式的证明方法 ,在阐明各种证法的思想、方法的基础上 ,用形式多样的例子说明了逻辑恒等式的证明步骤 ,并简要的介绍了一些方法的使用技巧。
关键词 证明方 逻辑恒等式 逻辑代数 真值表法 公式 对偶
下载PDF
混合控制变量序的三值T门网络化简方法 被引量:1
3
作者 刘观生 沈继忠 陈偕雄 《浙江大学学报(理学版)》 CAS CSCD 2002年第5期500-505,共6页
为获得 T门网络的最佳控制变量顺序 ,对于 n个变量的函数 ,用传统的方法需作 n!次搜索 ,如果考虑混合控制方式 ,则搜索的次数更多 .为了减少搜索次数 ,并尽可能得到更为简单的 T门网络 ,本文通过对真值表分割法的分析 ,并结合 T门网络... 为获得 T门网络的最佳控制变量顺序 ,对于 n个变量的函数 ,用传统的方法需作 n!次搜索 ,如果考虑混合控制方式 ,则搜索的次数更多 .为了减少搜索次数 ,并尽可能得到更为简单的 T门网络 ,本文通过对真值表分割法的分析 ,并结合 T门网络的特点 ,提出了一种用 T门实现三值逻辑函数的真值表分割法的改进算法 .该算法可实现混合控制变量序的 T门网络的最简或接近最简实现 ,且易于编程和上机操作 .最后还对几种 T门网络化简方法的优劣进行了比较 . 展开更多
关键词 混合控制变量序 化简方 多值逻辑 T门网络 逻辑设计 三值逻辑函数 真值表分割
下载PDF
主析取范式的求法及其应用 被引量:2
4
作者 杨菲 《科教文汇》 2013年第6期53-53,60,共2页
本文综述了求主析取范式的三种主要方法,即推演法、真值表法、构造树法,并从经典例题入手分析了三种方法的应用技巧。
关键词 主析取范式 推演 真值表法 构造树
下载PDF
形式逻辑应用题一题多解法探讨
5
作者 胡记芳 《温州大学学报》 1999年第4期25-28,共4页
本文通过一道形式逻辑应用题的解析,探讨观察法和真值表判定法在解题过程中的运用,各自逻辑运算方式,以及对思维训练的作用.
关键词 形式逻辑 观察 真值表判定
下载PDF
判定复合判断等值关系新法初探
6
作者 赵森民 《青海师范大学学报(哲学社会科学版)》 1986年第1期101-106,共6页
要判定一组复合判断中的几个判断是否等值,目前采用的方法有二:一是“直观法”;二是“真值表法”。直观法一般用于用文字表达的、比较简单的复合判断组,即便这样,其判定结果也并不十分可靠。所以,通常普遍采用的是“真值表法”。“真值... 要判定一组复合判断中的几个判断是否等值,目前采用的方法有二:一是“直观法”;二是“真值表法”。直观法一般用于用文字表达的、比较简单的复合判断组,即便这样,其判定结果也并不十分可靠。所以,通常普遍采用的是“真值表法”。“真值表法”较之“直观法”来说无疑是很可靠的,但显得有点繁琐复杂。因为,运用“真值表法”不但要熟记各种复合判断的真值情况,而且每解一题就得画一次真值表,同时,更为困难的是,一旦遇到比较复杂的复合判断组,列起真值表来,往往会使人眼花瞭乱,极易搞错,还很难一下子检查出错在哪个环节上。 展开更多
关键词 负复合判断 逻辑式 联言判断 真值表法 等值关系 联结符号 负情 直观 复合制 等值判断
下载PDF
煤矿井下安全避险“六大系统”的可靠性分析 被引量:18
7
作者 丰建荣 史鹏飞 代贵生 《太原理工大学学报》 CAS 北大核心 2011年第6期625-627,共3页
基于煤矿井下安全避险"六大系统"的可靠性框图,分析了相关子系统的可靠性逻辑模型,并采用布尔真值表法对"六大系统"进行了可靠性研究,提出了优化其可靠性的方法,为煤矿井下安全避险"六大系统"的可靠性优... 基于煤矿井下安全避险"六大系统"的可靠性框图,分析了相关子系统的可靠性逻辑模型,并采用布尔真值表法对"六大系统"进行了可靠性研究,提出了优化其可靠性的方法,为煤矿井下安全避险"六大系统"的可靠性优化和管理提供了理论依据。 展开更多
关键词 “六大系统” 可靠性 布尔真值表法
下载PDF
计算机数学基础复习指导
8
作者 冯泰 《当代电大》 2002年第11期80-84,共5页
关键词 复习指导 主合取范式 计算机数学基础 谓词公式 主析取范式 真值表法 奇数度 无向完全图
下载PDF
自动电话系统任务可靠性建模的探讨 被引量:1
9
作者 任秋惠 《电声技术》 2012年第7期34-39,共6页
通过对几种任务可靠性模型的比较,基于和联系统及任务重要度的概念,利用布尔真值表法建立了自动电话系统任务可靠性模型,并列出利用几种模型计算的任务可靠性度,将其进行比较,为自动电话系统任务可靠性预计提供了合理的数据,为准确预计... 通过对几种任务可靠性模型的比较,基于和联系统及任务重要度的概念,利用布尔真值表法建立了自动电话系统任务可靠性模型,并列出利用几种模型计算的任务可靠性度,将其进行比较,为自动电话系统任务可靠性预计提供了合理的数据,为准确预计系统任务可靠性奠定了基础。 展开更多
关键词 自动电话系统 任务可靠性 建模 “和联”系统 布尔真值表法
下载PDF
金龙山金矿安全避险“监测监控、人员定位、通信联络”系统可靠性分析 被引量:1
10
作者 慕守宝 李小军 《有色金属(矿山部分)》 2013年第6期64-66,共3页
基于金龙山金矿安全避险"监测监控、人员定位、通信联络系统"的可靠性框图,分析了井下安全避险系统的可靠性逻辑模型,并采用真值表法对其进行了可靠性分析,找到了优化其可靠性的方法,满足了矿山企业安全生产管理的需要。
关键词 地下矿山安全避险 可靠性 真值表法
下载PDF
基于国家标准的可靠性建模问题与对策探讨
11
作者 刘国才 徐欣锋 +4 位作者 庞红勋 陈春红 王莉莉 张智萌 李明 《电子产品可靠性与环境试验》 2014年第1期36-40,共5页
在国家标准的约束下,针对有效载荷分系统呈现的新特点,提出了可靠性措施,并通过质量屋模型,识别出关键的可靠性措施。通过可靠性建模方法的分析,表明真值表法可以有效地实现关键可靠性措施,但存在两个难题,分别是故障预测与系统健康管理... 在国家标准的约束下,针对有效载荷分系统呈现的新特点,提出了可靠性措施,并通过质量屋模型,识别出关键的可靠性措施。通过可靠性建模方法的分析,表明真值表法可以有效地实现关键可靠性措施,但存在两个难题,分别是故障预测与系统健康管理(PHM)技术的可靠性评估和基于真值表法的可靠性分配。给出基于真值表法的PHM评估方法,并发现实现PHM技术的自主性是提高有效载荷可靠性的关键;给出基于成功次数的重要度定义,并推导了可靠性建模与分配的理论公式。理论分析表明,上述方法简单、有效、易以实施并满足有效载荷分系统的工作实际。 展开更多
关键词 国家标准 真值表法 故障预测与系统健康管理 有效载荷分系统
下载PDF
“常用逻辑用语”高考考点题型归类析练与预测
12
作者 杜红全 《数理化解题研究(高中版)》 2017年第3期35-35,共1页
常用逻辑用语问题是高考的热点内容之一,主要以选择题、填空题的形式出现,一般难度不大.纵观近几年的高考题,发现考点题型有以下几个方面,以便同学们在复习时参考.
关键词 逆否命题 四种命题 热点内容 原命题 填空题 特称命题 柯西不等式 真值表法 全称命题 复合命题
下载PDF
Speech Acts and the Truth-Conditional Analysis of Temporal Expressions
13
作者 Douglas J. Wulf 《Journal of Philosophy Study》 2013年第2期97-112,共16页
Truth-conditional approaches to tense and other temporal expressions have relied on both linear-time and branching-time frameworks as needed. However, in the truth-conditional enterprise generally, it seems advisable ... Truth-conditional approaches to tense and other temporal expressions have relied on both linear-time and branching-time frameworks as needed. However, in the truth-conditional enterprise generally, it seems advisable to settle on a single depiction of time. Linear time is the simpler framework, and branching time faces difficulties for which we seem to have no immediate solutions. This paper defends the applicability of linear time. The apparent branching of time results from the use of speech acts other than factual assertion. Truth in correspondence with specific conditions is relevant when making factual assertions. However, we are in no epistemic position to advance factual assertions about the future, but only suppositions and predictions. For these, the truth-conditional content is employed differently. For suppositions and predictions, we only "pretend" to reference things, to assert facts, and to accept them as "true." There is a wide array of alternatives about what we can suppose or predict, giving the impression of branching options. Suppositions and predictions under active consideration are often marked with present tense, whereas those that are inactive (not presently under active consideration but nonetheless relevant) are often marked with past tense. 展开更多
关键词 English language (modern) SEMANTICS imperfective paradox non-factual before TENSE aspect application of truth-conditional semantics
下载PDF
更新三段论理论体系的我见
14
作者 雷康 《西南民族大学学报(人文社会科学版)》 CSSCI 北大核心 1995年第4期50-53,106,共5页
为了补救传统逻辑教材对三段论部分讲述的缺陷,本文从“提出三段论推理原则”、“深化对‘式’的研究”、“分格制定三段论推理的规则”、“引进现代逻辑的检验手段”四个方面提出了更新三段论理论体系的意见,对逻辑科学的现代化有一... 为了补救传统逻辑教材对三段论部分讲述的缺陷,本文从“提出三段论推理原则”、“深化对‘式’的研究”、“分格制定三段论推理的规则”、“引进现代逻辑的检验手段”四个方面提出了更新三段论理论体系的意见,对逻辑科学的现代化有一定的参考意义,特别是关于用真值在法与求合取范式法检验三段论推理有效性的问题,更有理论价值。 展开更多
关键词 三段论推理原则 三段论推理规则 欧拉图解 文恩图解 真值表法 求合取范式
原文传递
评马佩主编的《普通逻辑教程》
15
作者 李树琦 《哲学动态》 1985年第4期35-36,共2页
写一本具有特色的好教材,是件很不容易的事情。教材要有“特色”,就得跟上实践的需要和学术的进展;教材要“好”,就得好在符合教学的实际要求。马佩主编的《普通逻辑教程》(河南人民出版社出版。以下简称《教程》),虽然是一本适用于师... 写一本具有特色的好教材,是件很不容易的事情。教材要有“特色”,就得跟上实践的需要和学术的进展;教材要“好”,就得好在符合教学的实际要求。马佩主编的《普通逻辑教程》(河南人民出版社出版。以下简称《教程》),虽然是一本适用于师范专科学校的教材,却正是一卓有特色的教材,因此值得向人们广泛推荐。做为一般的课堂教材,不适宜提出过多的学术探讨的问题。 展开更多
关键词 普通逻辑 数理逻辑 必然性推理 包含于关系 逻辑学 真值表法 欧拉图 传统逻辑 逻辑教材 恩格斯
原文传递
数据选择器在实现逻辑函数中的应用研究
16
作者 李建国 孟河辰 《郑州师范教育》 2021年第2期30-33,共4页
以数据选择器74151为例研究了数据选择器在实现组合逻辑电路中的公式比较法和复合真值表法两种方法。复合真值表法直观且简明地表示出逻辑函数、数据选择器的输入与输出关系,可以方便地确定数据选择器数据端的取值,用于实现各种组合逻... 以数据选择器74151为例研究了数据选择器在实现组合逻辑电路中的公式比较法和复合真值表法两种方法。复合真值表法直观且简明地表示出逻辑函数、数据选择器的输入与输出关系,可以方便地确定数据选择器数据端的取值,用于实现各种组合逻辑函数。 展开更多
关键词 数据选择器 组合逻辑函数 复合真值表法
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部