试用列真值表的方法证明下列异或运算公式
[2-1] 试用列真值表的方法证明下列异或运算公式。
（1）A A =⊕0 （2）A A =⊕1 （3）0=⊕A A （4）1=⊕A A (5)B A ⊕=A ⊙B (6)()A B C AB AC ⊕=⊕ [2-2]证明下列等式（方法不限） (1)AB BC AC AB BC AC ??=++
(2) ()()()AB BC AC A B B C A C ++=+++ （3）AB AC AB AC +=+
（4）()()()A C B D B D AB BC +++=+ [2-3] 写出下列函数的对偶式及反函数： (1)Y AB CD =+
（2）Y A B C D E =++++
（3）Y AB C D BC D C E D E =++++++
（4）()Y A C BD AC AC D E ??=+++??
（5）()Y ABC A B C AB BC AC =+++++ （6）()Y AD B C D =++
[2-4] 已知逻辑函数的真值表如表P1-1（a ）、（b ）,试写出对应的逻辑函数式。
表
表P1-1（b ）
[2-5] 用逻辑代数的基本公式和常用公式将下列逻辑函数化为最简与或形式
（1）B A B B A Y ++= （2）C
B A
C B A Y +++=
（3）B A BC A Y +=
（4）()()()()Y A B A B C A C B C D =++++++
（5） ）
）（（B A C B AD CD A B A Y +++= （6））（）（CE AD B BC B A D C AC Y ++++=
（7）Y AC ABC ACD CD =+++
（8）)( )(C B A C B A C B A Y ++++++=）（
（9））（）（D A D A B AD D A B E C AB C B Y +++++=
（10）F E AB E D C B E D C B E D B F E B A D C A AC Y +++⊕+++= ）
（ [2-6] 写出图P2-1中各逻辑图的逻辑函数式，并化简为最简与或式。
图2－1
[2-7] 将下列各函数式化为最小项之和的形式。
（1）()Y A B C =+
（2）()Y AB ABD B CD =++ （3）CD B A Y ＋+=
（4））（D C BC
AB Y ++= （5）L N N M M L Y ++=
[2-8] 将下列各式化为最大项之积的形式。 （1）))((C B A B A Y +++= （2）C B A Y +=
（3）C B A C B C AB Y ++= （4）D A C D BC Y ++=
（5）∑==)
,,,,(76421m m m m m C B A Y ），，（
[2-9] 用卡诺图化简法将下列函数化为最简与或形式。
（1）D C A D C A C B A D C ABD ABC Y +++++= （2）D C BC C A B A Y ++++= （3）ABC B A C B B A Y ++++= （4）C B AC B A Y +++=
（5）BD C D A B A C B A Y ++++=
（6）
),,,,,(),,,(7
6
5
2
1
m m m m m m C B A Y ∑=
（7）),,,(),,,(7
5
3
1
m m m m C B A Y ∑=
（8）
),,,,,,,,,(),,,(1411109
8
6
4
2
1
m m m m m m m m m m D C B A Y ∑=
（9）
)
,,,,,,,,(),,,(141210
9
8
5
2
1
m m m m m m m m m D C B A Y ∑=
[2-10] 化简下列逻辑函数（方法不限） （1）D D C C A B A Y +++=
（2）D C A D C A D C B D C D C A Y ++++=)( （3）D BD C A C BD B A D B A Y +++++= ) ()( （4）))(( D B C B A CD B D C B A D B A Y +++++= （5）E D C A E D B DE C A D C B A Y +++= [2-11] 证明下列逻辑恒等式（方法不限） （1）B A B A B B A +=++
（2）C B AB D B D B C A +=+++))()(( （3）1) )(()(=+++++C B D B A C B D C C B A
（4）D B D B C A C A ABCD D C B A D C B A D C B A +++=+++ （5）D C D C B A D AC D C B D C A ⊕=?+++⊕)( [2-12]试画出用与非门和反相器实现下列函数的逻辑图。 （1）AC BC AB Y ++=
（2）C B C B A B A Y ))((+++=
（3）BC A C B A C AB Y ++=
（4）) (BC B A B A BC A Y +++=
[2-13] 试画出用或非门反相器实现下列函数的逻辑图。 （1）C B C B A Y +=
（2）))()((C B A C B A C A Y +++++= （3）D B A D C B C AB Y )(++=
（4）D ABC BC D C Y =
[2-14] 对于互相排斥的一组变量A 、B 、C 、D 、E （即任何情况下A 、B 、C 、D 、E 不可能有两个或两个以上同时为1），试证明：
E E D C B A D E D C B A C E D C B A B E D C B A A E D C B A ===== , , , ,
[2-15] 将下列函数化为最简与或函数式。
（1）D C B A D C B A D C A Y ++++=给定约束条件为
0 =+++++ABCD D ABC D C AB D C AB CD B A D C B A
（2）D C A C B A B A D C Y )(++⊕=，给定约束条件为0=+CD AB （3）))(()(C B B A D C B B A Y ++++=，给定约束条件为
0=+++BCD ACD ABD ABC
（4）
∑=
)
,,,,(),,,(107653
m m m m m
D C B A Y ，给定约束条件为
084210=++++m m m m m
（5）
∑=
)
,,,(),,(4210
m m m m
C B A Y ，给定约束条件为
07653=+++m m m m
（6）
∑=
)
,,,,,(),,,(14118732
m m m m m m
D C B A Y ，给定约束条件为
0151050=+++m m m m
[2-16] 用卡诺图将下列含有无关项的逻辑函数，化简为最简的“与或”式，“与非”式，“与或非”式。 （1）d
(0, 1, 5, 7, 8, 11, 14)(3, 9, 15)Y =+∑∑
（2）d
(1, 2, 5, 6, 10, 11, 12, 15)(3, 7, 8, 14)Y =+∑∑
（3）()()0,2,3,6,9,10,157,8,11d
Y =
+∑∑
（4）()()0,2,3,7,8,10,135,6,11d Y =+∑∑
[2-17] 利用卡诺图之间的运算将下列逻辑函数化为最简与或式 (1)()()Y AB AC BD ABCD ACD BCD BC =+++++ (2) ()()Y ABC ABC AC ABCD ABC CD =++++ (3)()()Y AD CD CD ACD ABC AD CD =++⊕+++
(4)()()
=++⊕++ Y ACD BD BD ABD BD BCD
离散数学自学笔记命题公式及其真值表
离散数学自学笔记命题公式及其真值表 我们把表示具体命题及表示常命题的p，q，r，s等与f，t统称为命题常元（proposition constant）。深入的讨论还需要引入命题变元（proposition variable）的概念，它们是以“真、假”或“1，0”为取值范围的变元，为简单计，命题变元仍用p，q，r，s等表示。相同符号的不同意义，容易从上下文来区别，在未指出符号所表示的具体命题时，它们常被看作变元。 命题常元、变元及联结词是形式描述命题及其推理的基本语言成分，用它们可以形式地描述更为复杂的命题。下面我们引入高一级的语言成分——命题公式。 定义1.1 以下三条款规定了命题公式（proposition formula）的意义： （1）命题常元和命题变元是命题公式，也称为原子公式或原子。 （2）如果A，B是命题公式，那么（┐A），（A∧B），（A∨B），（A→B），（A？B）也是命题公式。 （3）只有有限步引用条款（1），（2）所组成的符号串是命题公式。 命题公式简称公式，常用大写拉丁字母A，B，C等表示。公式的上述定义方式称为归纳定义，第四章将对此定义方式进行讨论。 例1.8 （┐（p→（q∧r）））是命题公式，但（qp），p→r，p1∨p2∨…均非公式。 为使公式的表示更为简练，我们作如下约定： （1）公式最外层括号一律可省略。 （2）联结词的结合能力强弱依次为┐，（∧，∨），→，？，（∧，∨）表示∧与∨平等。 （3）结合能力平等的联结词在没有括号表示其结合状况时，采用左结合约定。湖南省自考网：https://www.wendangku.net/doc/4c8870586.html,/整理 例如，┐p→q∨（r∧q∨s）所表示的公式是（（┐p）→（q∨（（r∧q）∨s））） 设A是命题公式，A1是A 的一部分，且A1也是公式，则A1称为公式A的子公式。
EXCLE日期时间计算公式
(Excel)常用函数公式及操作技巧之三： 时间和日期应用 ——通过知识共享树立个人品牌。 自动显示当前日期公式 =YEAR(NOW()) 当前年 =MONTH(NOW()) 当前月 =DAY((NOW())) 当前日 如何在单元格中自动填入当前日期 Ctrl+; 如何判断某日是否星期天 =WEEKDAY(A2,2) =TEXT(A1,"aaaa") =MOD(A1,7)<2 某个日期是星期几 比如2007年2月9日，在一单元格内显示星期几。 =TEXT(A1,"aaa") （五） =TEXT(A1,"aaaa") （星期五） =TEXT(A1,"ddd") （Fri） =TEXT(A1,"dddd") （Friday） 什么函数可以显示当前星期 如：星期二10:41:56 =TEXT(NOW(),"aaaa hh:mm:ss") 求本月天数 设A1为2006-8-4 求本月天数 A1=DAY(DATE(YEAR(A1),MONTH(A1)+1,0)) 也有更簡便的公式：=DAY(EOMONTH(NOW(),0)) 需加載分析工具箱。
当前月天 数：=DATE(YEAR(TODAY()),MONTH(TODAY())+1,1)-DATE(YEAR(TO DAY()),MONTH(TODAY()),1) 用公式算出除去当月星期六、星期日以外的天数 =SUMPRODUCT(--(MOD(ROW(INDIRECT(DATE(YEAR(NOW() ),MONTH(NOW()),1)&":"&DATE(YEAR(NOW()),MONTH(NOW ())+1,0))),7)>1)) 显示昨天的日期 每天需要单元格内显示昨天的日期，但双休日除外。 例如，今天是7月3号的话，就显示7月2号，如果是7月9号，就显示7 月6号。 =IF(TEXT(TODAY(),"AAA")="一 ",TODAY()-3,IF(TEXT(TODAY(),"AAA")="日 ",TODAY()-2,TODAY()-1)) =IF(TEXT(TODAY(),"AAA")="一",TODAY()-3,TODAY()-1) 关于取日期 怎么设个公式使A1在年月日向后推5年,变成2011-7-15 =DATE(YEAR(A1)+5,MONTH(A1),DAY(A1)) =EDATE(A1,12*5) 如何对日期进行上、中、下旬区分 =LOOKUP(DAY(A1),{0,11,21,31},{"上旬","中旬","下旬","下旬"}) 如何获取一个月的最大天数 "=DAY(DATE(2002,3,1)-1)"或"=DAY(B1-1)",B1为"2001-03-01日期格式转换公式 将“01/12/2005”转换成“20050112”格式 ＝RIGHT(A1,4)&MID(A1,4,2)&LEFT(A1,2) ＝ YEAR($A2)&TEXT(MONTH($A2),"00")&TEXT(DAY($A2),"00" ) 该公式不用设置数据有效性,但要设置储存格格式。 也可以用下列两方法： 1、先转换成文本, 然后再用字符处理函数。 2、[数据]-[分列] [日期]-[MDY] 将“2005年9月”转换成“200509”格式
逻辑判断推理中常用的逻辑公式
逻辑命题与推理 必然性推理（演绎推理）：对当关系推理、三段论、复合命题推理、关系推理和模态推理 可能性推理：归纳推理（枚举归纳、科学归纳）、类比推理 命题 直言命题的种类：（AEIOae） ⑴全称肯定命题：所有S是P（SAP） ⑵全称否定命题：所有S不是P（SEP） ⑶特称肯定命题：有的S是P（SIP） ⑷特称否定命题：有的S不是P（SOP） ⑸单称肯定命题：某个S是P（SaP） ⑹单称否定命题：某个S不是P（SeP） 直言命题间的真假对当关系： 矛盾关系、（上）反对关系、（下）反对关系、从属关系 矛盾关系：具有矛盾关系的两个命题之间不能同真同假。主要有三组： SAP与SOP之间。“所有同学考试都及格了”与“有些同学考试不及格” SEP与SIP之间。“所有同学考试不及格”与“有些同学考试及格” SaP与SeP之间。“张三考试及格”与“张三考试不及格” 上反对关系：具有上反对关系的两个命题不能同真（必有一假），但是可以同假。即要么一个是假的，要么都是假的。存在于SAP与SEP、SAP与SeP、SEP与SaP之间。 下反对关系：具有下反对关系的两个命题不能同假（必有一真），但是可以同真。即要么一个是真的，要么两个都是真的。存在于SIP与SOP、SeP与SIP、SaP与SOP之间。 从属关系（可推出关系）：存在于SAP与SIP、SEP与SOP、SAP与SaP、SEP与SeP、SaP与SIP、SeP与SOP 六种直言命题之间存在的对当关系可以用一个六角图形来表示，“逻辑方阵图” SAP SEP SaP SeP
SIP SOP 直言命题的真假包含关系 全同关系、真包含于关系、真包含关系、交叉关系、全异关系 复合命题：负命题、联言命题、选言命题、假言命题 负命题的一般公式：并非P 联言命题公式：p并且q “并且、…和…、既…又…、不但…而且、虽然…但是…” 选言命题：相容的选言命题、不相容的选言命题 相容的选言命题公式：p或者q“或、或者…或者…、也许…也许…、可能…可能…” 【一个相容的选言命题是真的，只有一个选言支是真的即可。只有当全部选言支都假时，相容的选言命题才是假的】不相容选言命题公式：要么p要么q “要么…要么…、不是…就是…、或者…或者…二者必居其一、或者…或者…二者不可兼得” 【一个不相容的选言命题是真的，有且只有一个选言支是真的。当选言支全真或全假时，此命题为假】 假言命题：充分条件假言命题、必要条件假言命题、充要条件假言命题 充分条件假言命题公式：如果p，那么q“如果…就…、有…就有…、倘若…就…、哪里有…哪里有…、一旦…就…、假若…、只要…就…” 【有前件必然有后件。如果有前件却没有后件，这个充分条件假言命题就是假的。因此，对于一个充分条件的假言命题来说，只有当其前件真而后件假时，命题才假。】 必要条件假言命题公式：只有p，才q “没有…就没有…、不…不…、除非…不…、除非…才…” 【没有前件必然没有后件。如果没有前件也有后件，这个必要假言命题为假。对于一个必要条件的假言命题来说，只有当其前件假而后件真时，命题才假。】 充要条件假言命题公式：当且仅当p，才q 【有前件必然有后件，没有前件必然没有后件。充要条件假言命题在前件与后件等值即前件真并且后件真，或者前件假并且后件假时，命题为真，在前件与后件不等值即前真后假，或前假后真时，命题为假】 充分条件与必要条件之间可以相互转化：
2 离散数学-命题公式,真值表
2 命题公式,真值表 (1) 数理逻辑是通过引入表意符号研究人类思维中的推理过程及推理正确与否的数学分支. 数学------??? 符号运算 推理---思维过程:前提 结论 命题逻辑---研究由命题为基本单位构成的前提和结论之间的可推导关系.(逻辑演算) 即将推理(不涉及内函)形式化. 例1 (a) 4是偶数. 张林学习优秀. 太阳系以外的星球上有生物. (b) 这朵花真美丽! 现在开会吗? (c) 3 5.x +> 我正在说慌. 特征分析(a) 陈述句,非真即假. (b) 感叹句,疑问句. (c) 悖论. 定义1 能辩真假的陈述句,称为命题,用,,,P Q Z 表示.其判断结果称为命题的真值. 成真的命题称为真命题,其真值为真,记为,T 或为1.成假的命题称假命题,其真值为假,记为,F 或为0. 例2 (1) 2008年奥运会在北京举行. (2) 22 5.?= (3) 计算机程序的发明者是诗人拜伦. 用符号表是上述命题,并求真值. 解 (1) :P 2008年奥运会在北京举行. .T (2) :Q 22 5.?= .F (3) :R 计算机程序的发明者是诗人拜伦. .F (2) 3, 35,+ 3(4 1).+- 例3 (1) 今天没有数学考试. (2) 下午,我写信或做练习. (3) 王芳不但用功,而且成绩优秀. (4) 如果太阳从西边出来了,那么地球停止转动.
(5) 2是素数,当且仅当三角形有三条边. 特征分析(a)存在自然语言中的虚词. (b)语句可以分解,细化. 定义2 称下列符号为逻辑联结词 否定 ? 非 P ? 析取 ∨ 或者 P Q ∨ 合取 ∧ 且 P Q ∧ 蕴涵 → 若----,则----- P Q → 等价 ? 当且仅当 P Q ? 逻辑联结词真值的规定 例4 将下列命题符号化. (1) 小李聪明,但不用功. ()P Q ∧? (2) 单位派小王或小苏出差. P Q ∨ (3) 如果椅子是紫色的,且是园的,那么地是平的. ()P Q R ∧→ (4) n 是偶数当且仅当它能被2整除. P Q ? 注 1 逻辑联结词:运算符.顺序 ,,,,.?∧∨→? 2 自然语言中 虽然---,但是----; 不但---,而且----; ∧ 只有----,才----; 除非----,才-----; → 3 ∨ 可兼或(相容) ∨ 不可兼或(排斥) 小王是山东人或是河北人. ()()P Q P Q P Q ∨?∧?∨?∧ 4 ,P Q -----------------------简单命题
用公式进行时间的换算
用公式进行时间的换算 作为地球自转产生的后果之一，时间的换算一直是地理教学中的一项重要内容。而且随着世界联系的密切、国际交往的增加，在日常生活中也经常会遇到换算两个地点时间的问题。在地理教学中教师可采用多种方法，如图示法、计算法等，但都要涉及过日界线的问题，学生往往要反复考虑经过日界线时日期的变更，以及推算时是向东还是向西进行的，使时间的换算很容易出现错误。用公式进行时间的换算简单易行，是进行时间换算的良好选择。 一、不同时刻之间的换算公式 （一）地方时的换算地方时是因经度而不同的时刻，一般均是指地方平太阳时而言。地方时仅取决于经度。地球上任意两个地点之间，若经度相同则地方时刻相同，而经度的差异必然会产生地方时刻的差异。地方时的换算公式为： t1－t2=λ1－λ2式中，λ1、λ2分别表示任意两个地点的经度，其本身含有＋、－号，规定东经为＋，西经为－；t1、t2分别表示上述两个地点的地方时。根据此公式可方便地换算两个不同地点的地方时，但在计算过程中要注意单位的统一。 （二）区时换算地球上按经度划分为24个时区，各地根据经度的不同，分属于不同的时区。可根据下列公式计算出任一已知经度的地点所处的时区： n=λ/15°式中，λ为某地点的经度，n为所在的时区序号，计算结果四舍五入保留整数。区时是指每一时区中央经线的地方平太阳时。任意两地如果处于同一时区中则具有相同的区时；若时区不同，则区时也不相同，他们之间的关系是：T1－T2=n1 －n2式中，T1、T2分别为两个地点的区时，n1 、n2分别为这两个地点所在的时区序号，规定东时区为＋，西时区为－。用此公式可以方便地进行任意两时区的区时换算。 （三）地方时同世界时的换算由于世界时是指0°经线的地方时，所以在地方时换算公式中，以T0表示世界时，以t表示某一地点的地方时，以λ表示该地点的经度，仍然是东经为＋，西经为－，则得：T0－t=0－λ所以：T0=t－λ用此公式可进行任意地点的地方时刻与世界时的换算。 （四）区时同世界时的换算由于世界时即0时区的区时，所以在区时换算公式中，只要以世界时T0代替某一时区的区时即得：T0－T=0－n所以：T0=T－n 在上述公式中，地方时换算和区时换算是两个基本的公式，其他公式均可在理解概念的前提下推论得出。生活中遇到的问题主要是区时的换算。 二、有关计算结果的说明 无论用哪一种公式，最后计算的时间结果都可能出现特殊值，需要对其进行进一步处理。
真值表化简法
在设计逻辑电路图时，由真值表直接得到的函数往往比较复杂。代数法和卡诺图法等方法对于变量数目较多的逻辑函数则效果不佳，本文介绍一种可以化简复杂逻辑函数的方法──表格法，该方法可以对变量数目较多的逻辑函数也可以进行化简。 2、原理 在介绍化减法之前，先说明三个概念： 蕴涵项──在函数的任何积之和式中，每个乘积项称为该函数的蕴涵项。对应于卡诺图中的任一标1单元(最小项)以及2m个相邻单元所形成的圈都是函数的蕴涵项。 素项──若函数的一个蕴涵项不是该函数中其它蕴涵项的一个子集，则此蕴涵项称为素蕴涵项，简称素项。 实质素项──若函数的一个素项所包含的某一最小项，不包括在该函数的其它任何素项中则此素项称为实质素蕴涵项，简称实质素项。 列表化简法的基本原理是利用逻辑函数的最小项，通过对相邻最小项的合并，消去多余变量因子，获得逻辑函数的最简式的。列表化简法的思路是先找出给定函数F的全部素项，然后找出其中的实质素项；若实质素项不能覆盖F的所有最小项，则进一步找出所需素项，以构成F的最简素项集。 下面用列表化简法将下列函数化简为最简与或表达式。 F(A,B,C,D)＝Σ(0,3,4,5,6,7,8,10,11) 3、建立素项表 首先，找出给定函数的全部素项。 (1)先将每个最小项所对应的二进制数按其“1”的个数分组得表1； 表1 最小项
(2)将表1中的相邻两个组之间二进制数进行比较、合并得到一次化简结果，称为一次乘积项，其项号记为i(j－i)，其中i为最小项中的小项号，j为最小项中的大项号，得表2； 表2 一次乘积项
(3)再将表2中的相邻两组内的二进制数进行比较、合并、便得到第二次化简结果，称为二次乘积项，其项号记为i(n,m)，其中i为两个一次乘积项中的小项号，n为原最小项的项号差，m为一次乘积项的项号差，得表3； 表3 二次乘积项 不能与其它一次乘积项合并的一次乘积项是素项，分别以a,b,c,d,e,f记之，不能合并的二次乘积项也是素项，以g记之。
离散数学自学笔记命题公式及其真值表
我们把表示具体命题及表示常命题的p，q，r，s等与f，t统称为命题常元（proposition constant）。深入的讨论还需要引入命题变元（proposition variable）的概念，它们是以“真、假”或“1，0”为取值范围的变元，为简单计，命题变元仍用p，q，r，s等表示。相同符号的不同意义，容易从上下文来区别，在未指出符号所表示的具体命题时，它们常被看作变元。 命题常元、变元及联结词是形式描述命题及其推理的基本语言成分，用它们可以形式地描述更为复杂的命题。下面我们引入高一级的语言成分——命题公式。 定义1.1 以下三条款规定了命题公式（proposition formula）的意义： （1）命题常元和命题变元是命题公式，也称为原子公式或原子。 （2）如果A，B是命题公式，那么（┐A），（A∧B），（A∨B），（A→B），（A？B）也是命题公式。 （3）只有有限步引用条款（1），（2）所组成的符号串是命题公式。 命题公式简称公式，常用大写拉丁字母A，B，C等表示。公式的上述定义方式称为归纳定义，第四章将对此定义方式进行讨论。 例1.8 （┐（p→（q∧r）））是命题公式，但（qp），p→r，p1∨p2∨…均非公式。 为使公式的表示更为简练，我们作如下约定： （1）公式最外层括号一律可省略。 （2）联结词的结合能力强弱依次为┐，（∧，∨），→，？，（∧，∨）表示∧与∨平等。 （3）结合能力平等的联结词在没有括号表示其结合状况时，采用左结合约定。 例如，┐p→q∨（r∧q∨s）所表示的公式是（（┐p）→（q∨（（r∧q）∨s））） 设A是命题公式，A1是A 的一部分，且A1也是公式，则A1称为公式A的子公式。 如对公式A：┐p→q∨（r∧q∨s），则p，┐p ，q ，（r∧q∨s）及q∨（r∧q∨s）都是公式A的子公式，而┐q，┐p→q，虽然是公式，但确不是A的一部分，因此不是A 的子公式；q∨（r∧虽然是公式A的一部分，但不是公式，因而也不是A的子公式。 如果公式A含有命题变元p1，p2，…，pn，记为A（p1，…，pn），并把联结词看作真值运算符，那么公式A可以看作是p1，…，pn的真值函数。对任意给定的p1，…，pn 的一种取值状况，称为指派（assignments），用希腊字母a，b等表示，A均有一个确定的真值。当A对取值状况a 为真时，称指派a弄真A，或a是A的成真赋值，记为a （A）= 1；反之称指派a弄假A，或a是A的成假赋值，记为a （A）= 0.对一切可能的指派，
求给定命题公式真值表并根据真值表求公式主范式
“离散数学”实验报告（求给定命题公式地真值表并根据真值表求公式地主范式） 专业网络工程 班级 1202班 学号 12407442 姓名张敏慧 2013.12.14
目录 一.实验目地 3 二.实验内容 (3) 求任意一个命题公式地真值表 (3) 三.实验环境 3 四. 实验原理和实现过程（算法描述）3 1.实验原理 (3) 2.实验流程图 (5) 五.实验代码 6 六. 实验结果14 七. 实验总结19
一.实验目地 本实验课程是网络工程专业学生地一门专业基础课程,通过实验,帮助学生更好地掌握计算机科学技术常用地离散数学中地概念.性质和运算；通过实验提高学生编写实验报告.总结实验结果地能力；使学生具备程序设计地思想,能够独立完成简单地算法设计和分析. 熟悉掌握命题逻辑中地真值表.主范式等,进一步能用它们来解 决实际问题. 二.实验内容 求任意一个命题公式地真值表,并根据真值表求主范式 详细说明： 求任意一个命题公式地真值表 本实验要求大家利用C/C＋＋语言,实现任意输入公式地真值表计算.一般我们将公式中地命题变元放在真值表地左边,将公式地结果放在真值表地右边.命题变元可用数值变量表示,合适公式地表示及求真值表转化为逻辑运算结果；可用一维数表示合式公式中所出现地n个命题变元,同时它也是一个二进制加法器地模拟器,每当在这个模拟器中产生一个二进制数时,就相当于给各个命题变元产生了一组真值指派.算法逻辑如下： （1）将二进制加法模拟器赋初值0 （2）计算模拟器中所对应地一组真值指派下合式公式地真值. （3）输出真值表中对应于模拟器所给出地一组真值指派及这组真值指派所对应地一行真值. （4）产生下一个二进制数值,若该数值等于2n-1,则结束,否则转（2）. 三.实验环境；
任意命题公式的真值表
实验报告 实验名称：任意命题公式的真值表 实验目的与要求：通过实验，帮助学生更好地掌握计算机科学技术常用的离散数学中的概念、性质和运算，包括联结词、真值表、运算的优先级等，提高学生编写实验报告、总结实验结果的能力，培养学生的逻辑思维能力和算法设计的思想，能够独立完成简单的算法设计和分析，进一步用它们来解决实际问题，帮助学生学习掌握C/C++语言程序设计的基本方法和各种调试手段，使学生具备程序设计的能力。 实验内容提要：求任意一个命题公式的真值表 实验步骤：（一）、关于命题公式的形式和运算符（即联结词）的运算 首先根据离散数学的相关知识，命题公式由命题变元和运算符（即联结词）组成，命题变元用大写字母英文表示（本次试验没有定义命题常元T和F，即T、F都表示命题变元），每个命题变元都有两种真值指派0和1，对应于一种真值指派，命题公式有一个真值，由所有可能的指派和命题公式相应的真值按照一定的规范构成的表格称为真值表。 目前离散数学里用到的包括扩充联结词总共有九种，即析取（或）、合取（与）、非、蕴含、等值、与非、或非、异或、蕴含否定，常用的为前五种，其中除了非运算为一元运算以外，其它四种为二元运算。所以本次实验设计时只定义了前五种运算符，同时用“/”表示非，用“*”表示合取，用“+”表示析取，用“>”表示蕴含，用“:”表示等值，且这五种运算符的优先级依次降低，如果需用括号改变运算优先级，则用小括号()改变。 以下为上述五种运算符运算时的一般真值表，用P和Q表示命题变元：1．非，用“/”表示 2．合取（与），用“*”表示
3．析取（或），用“+”表示 4.蕴含，用“>”表示 5.等值，用“:”表示 （二）、命题公式真值的计算 对于人来说，计算数学表达式时习惯于中缀表达式，例如a*b+c，a*（b+c）等等，而对于计算机来说，计算a*b+c还好，计算a*（b+c）则困难，因为括号的作用改变了运算的顺序，让计算机识别括号而改变计算顺序显得麻烦。经理论和实践研究，用一种称之为后缀表达式（逆波兰式）的公式形式能让计算机更容易计算表达式的真值。例如上面的a*（b+c），其后缀表达式为abc+*，计算时从左边开始寻找运算符，然后按照运算符的运算规则将与其相邻的前面的一个（非运算时为一个）或两个（其它四种运算为两个）操作数运算，运算结果取代原来的运算符和操作数的位置，然后重新从左边开始寻找运算符，开始下一次计算，比如上式，从左边开始寻找运算符，先找到+，则计算b+c，结果用d表示，这时后缀表达式变为ad*，又重新开始从左边开始寻找运算符，找到*，则计算a*d，
逻辑命题公式计算
题号：第一题 题目：电梯模拟 1，需求分析： 计算命题演算公式的真值 所谓命题演算公式是指由逻辑变量(其值为TRUE或FALSE )和逻辑运算符人(AND )、 V( OR)和「( NOT )按一定规则所组成的公式(蕴含之类的运算可以用A、V和「来表示)。公式运算的先后顺序为「、人、V,而括号()可以改变优先次序。已知一个命题演算公式及各变量的值，要求设计一个程序来计算公式的真值。 要求： ( 1)利用二叉树来计算公式的真值。首先利用堆栈将中缀形式的公式变为后缀形式；然后根据后缀形式, 从 叶结点开始构造相应的二叉树；最后按后序遍历该树, 求各子树之值, 即每到达一个结点, 其子树之值已经计算出来, 当到达根结点时, 求得的值就是公式之真值。 ( 2)逻辑变元的标识符不限于单字母,而可以是任意长的字母数字串。 ( 3)根据用户的要求显示表达式的真值表。 2,设计： 2.1 设计思想： <1> ,数据结构设计： (1) 线性堆栈1 的数据结构定义 typedef struct { DataType stack [MaxStackSize]; int top; /* 当前栈的表长*/ } SeqStack; 用线性堆栈主要是用来存储输入的字符, 它的作用就是将中缀表达式变成后缀表达式。 (2) 线性堆栈2 的数据结构定义 typedef struct { BiTreeNode *stack [MaxStackSize]; int top; /* 当前栈的表长*/ } TreeStack; 这个堆栈和上面的堆栈的唯一不同就是它们存储的数据的类型不同, 此堆栈存储的是树节点,它的作用是将后缀表达式构成一棵二叉树。 （3）树节点数据结构定义typedef struct Node { DataType data; struct Node *leftChild; struct Node *rightChild; }BiTreeNode; <2>算法设计详细思路如下：首先实现将中缀表达式变成后缀表达式：在将中缀表达式变成后缀表达式的
EXCEL关于时间的公式
5个时间问题8个时间函数全搞定 表格中常常会涉及到与日期有关的项目。通过一些日期相关函数的巧妙组合使用，可轻松满足日期计算中的常见需求。下面我们通过5个具体实例，带大家玩转日期相关函数。 用出生年月快速计算年龄 如图的表格第一列已经列出了“出生年月日”数据，“年龄”一列为空需要填写，不需要手动就可是快速完成。具体方法是在B2单元格中输入如下公式，然后用填充柄填充B列即可。 =DATEDIF(A2,TODAY(),"y")
解释：DATEDIF函数的作用是计算从开始日期到结束日期的时间（天数、月数或年数）。其中A2为开始日期，TODAY()为结束日期，"y"表示信息类型为年数（若要计算月数改为m，计算天数改为d即可）。 根据身份证号计算出生年月 下图的表格中已有身份证号码，出生年月日一列就没必要重新填写了，可自动生成，这是因为身份证号码中就包含了出生年月日的信息。只需在B2单元格输入如下公式并向下填充B 列即可： =TEXT(MID(A2,7,8),"0!/00!/00") 解释：上述函数从A2单元格的第7为开始截取8位数字，然后以日期格式"0!/00!/00"表示出来。
根据身份证号码提取性别 在身份证号码中虽然直接看不出性别，但其中的某些位数却暗含着性别信息，通过简单运算可得知男女性别。我们只需在B2单元格输入如下信息并向下填充该列即可： =IF(MOD(MID(A2,15,3),2),"男","女") 解释：上述函数从A2单元格的第15位开始截取3位数，然后做取模运算，若余数为0则为男，否则为女。 根据身份证号码计算实际年龄 还可以通过身份证号码计算出实际年龄。在B2中构造公式如下，然后依次填充B列单元格即可。 =YEAR(TODAY())-MID(A2,7,4) 解释：其中YEAR(TODAY())代表今年，MID(A1,7,4)取身份证中的年份，两个相减就是年龄。
离散数学命题公式真值表C++或C语言实验报告
离散数学实验报告 专业班级：12级计算机本部一班姓名：鲍佳珍 学号：201212201401016 实验成绩： 1．【实验题目】 命题逻辑实验二 2．【实验目的】 熟悉掌握命题逻辑中真值表，进一步能用它们来解决实际问题。 3．【实验内容】 求任意一个命题公式的真值表 4、【实验要求】 C或C＋＋语言编程实现 5. 【算法描述】 1.实验原理 真值表:表征逻辑事件输入和输出之间全部可能状态的表格。列出命题公式真假值的表。通常以1表示真，0 表示假。命题公式的取值由组成命题公式的命题变元的取值和命题联结词决定，命题联结词的真值表给出了真假值的算法。真值表是在逻辑中使用的一类数学表，用来确定一个表达式是否为真或有效。 2.实验过程 首先是输入一个合理的式子，生成相应真值表，然后用函数运算，输出结果：要求可生成逻辑非、合取、析取、蕴含、双条件表达式的真值表，例如：输入 !a 输出真值表如下： a !a 0 1 10 输入a&&b 输出真值表如下： a b a&&b 0 0 0 0 1 0 1 0 0 1 1 1 输入a||b 输出真值表如下：
a b a||b 0 0 0 0 1 1 1 0 1 1 1 1 输入a->b 输出真值表如下： a b a->b 0 0 1 0 1 1 1 0 0 1 1 1 输入a<>b (其中<>表示双条件) 输出真值表如下： a b a<>b 0 0 1 0 1 0 1 0 0 1 1 1 6.【源程序（带注释）】 #include
离散数学之逻辑运算和命题公式真值表
1、逻辑联接词的运算 从键盘输入两个命题变元P和Q的真值，输出它们的合取、析取、条件、双条件和P的否定的真值。 #include
{ if(P==0) P=P; else P=1; if(Q==0) Q=Q; else Q=1; if(P==1&&Q==0) return(0); else return(1); } int shuangtiaojian(int P,int Q) { if(P==0) P=P; else P=1; if(Q==0) Q=Q; else Q=1; return(!P^Q); } int Pfaoding(int P) { if(P==0) P=P; else P=1; return(!P); } int show(int a,int b) { cout<<"P Q P∧Q P∨Q P→Q P←→Q ┐P"< 离散逻辑学实验 班级：10电信实验班学号：Q 姓名：王彬彬 一、实验目的 熟悉掌握命题逻辑中的联接词、真值表、主范式等，进一步能用它们来解决实际问题。 二、实验内容 1. 从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、条件和双条件的真值。（A） 2. 求任意一个命题公式的真值表（B，并根据真值表求主范式（C）） 三、实验环境 C或C＋＋语言编程环境实现。 四、实验原理和实现过程（算法描述） 1.实验原理 （1）合取：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P∧Q, 读作P、Q的合取, 也可读作P与Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P = T, Q = T时方可P∧Q =T, 而P、Q只要有一为F则P∧Q = F。这样看来，P∧Q可用来表示日常用语P与Q, 或P并且Q。 （2）析取：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P∨Q, 读作P、Q的析取, 也可读作P或Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P = F, Q = F时方可P∨Q =F, 而P、Q只要有一为T则P∨Q = T。这样看来，P∨Q可用来表示日常用语P或者Q。 （3）条件：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P→Q, 读作P条件Q, 也可读作如果P，那么Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P = T, Q = F时方可P→Q =F, 其余均为T。 （4）双条件：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P←→Q, 读作P双条件于Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为当两个命题变项P = T, Q =T时方可P←→Q =T, 其余均为F。 （5）真值表:表征逻辑事件输入和输出之间全部可能状态的表格。列出命题公式真假值的表。通常以1表示真，0 表示假。命题公式的取值由组成命题公式的命题变元的取值和命题联结词决定，命题联结词的真值表给出了真假值的算法。真值表是在逻辑中使用的一类数学表，用来确定一个表达式是否为真或有效。 （6）主范式： 主析取范式：在含有n个命题变元的简单合取式中,若每个命题变元与其否定不同时存在,而两者之一出现一次且仅出现一次,称该简单合取式为小项。由若干个不同的小项组成的析取式称为主析取范式;与A等价的主析取范式称为A的主析取范式。任意含n个命题变元的非永假命题公式A都存在与其等价的主析取范式,并且是惟一的。 主合取范式：在含有n个命题变元的简单析取式中,若每个命题变元与其否定不同时存在,而两者之一出现一次且仅出现一次,称该简单析取式为大项。由若干个不同的大项组成的合取式称为主合取范式;与A等价的主合取范式称为A的主合取范式。任意含n个命题变元的非永真命题公式A都存在与其等价的主合取范式,并且是惟一的。 五、代码设计结果： 求给定命题公式的真值表并根据真值表求公式的主范式(求给定命题公式的真值表并根据真值表求公式的主范式) 专业网络工程 班级 1202班 学号 12407442 姓名张敏慧 2013.12.14 目录 一.实验目的 ....................................................... 3 二.实验内容 (3) 求任意一个命题公式的真值 表 ..................................................................... ..... 3 三.实验环 境 (3) 四. 实验原理和实现过程(算法描述) (3) 1.实验原 理 ..................................................................... ...................................... 3 2.实验流程 图 ..................................................................... .................................. 5 五.实验代 码 (6) 六. 实验结果 (14) 七. 实验总结 (19) - 1 - 一.实验目的 本实验课程是网络工程专业学生的一门专业基础课程，通过实验，帮助学生更好地掌握计算机科学技术常用的离散数学中的概念、性质和运算;通过实验提高学生编写实验报告、总结实验结果的能力;使学生具备程序设计的思想，能够独立完成简单的算法设计和分析。 熟悉掌握命题逻辑中的真值表、主范式等，进一步能用它们来解决实际问题。 二.实验内容 求任意一个命题公式的真值表，并根据真值表求主范式 详细说明: 求任意一个命题公式的真值表 本实验要求大家利用C/C，，语言，实现任意输入公式的真值表计算。一般我 们将公式中的命题变元放在真值表的左边，将公式的结果放在真值表的右边。命题变元可用数值变量表示，合适公式的表示及求真值表转化为逻辑运算结果;可用一维数表示合式公式中所出现的n个命题变元，同时它也是一个二进制加法器的模拟器，每当在这个模拟器中产生一个二进制数时，就相当于给各个命题变元产生了一组真值指派。算法逻辑如下: (1)将二进制加法模拟器赋初值0 (2)计算模拟器中所对应的一组真值指派下合式公式的真值。 (3)输出真值表 中对应于模拟器所给出的一组真值指派及这组真值指派所对应的一行真值。 n(4)产生下一个二进制数值，若该数值等于2-1，则结束，否则转(2)。 三.实验环境; 使用visual C++6.0为编程软件，采用C语言为编程语言实现。 地理不同地方时间计算的公式 一原理：东边的时刻早。因为地球是自西向东自转的，所以东边先看到日出。东时区区时早于西时区区时；东西时区内越往东区时就越早。 二种线：特殊的时间经线和两个日期界线 1、特殊的时间经线 （1）6时经线：晨线与赤道交点所在的经线的地方时； （2）18时经线：昏线与赤道交点所在的经线的地方时； （3）12时经线：平分昼半球的经线的地方时； （4）24时经线：平分夜半球的经线的地方时。 2、两个日期界线 （1）180°经线：固定性。日期为向东减一天，向西加一天。 （2）0时经线：不确定性。 三步骤：计算区时和时区计算的三个步骤 1、计算当地时区：将已知经度数除以15，若余数小于7.5，则除得的商就是该经度所在的时区数，若余数大于7.5，则该地所在的时区数为商＋1。东经为东时区，西经为西时区。例如求130°所在地的时区：130÷15＝8……10，则该地为西九区。 2、计算时区差：同为东时区或同为西时区，时区数相减，一个在东时区一个在西时区，则时区数相加。例如东八区与东二区相差6个时区，东八区与西五区则相差13个时区。 3、计算区时：利用所得的时区差，向东加向西则减。例如当东二区为6时，东九区区时为6＋7＝13时，西三区区时为6－5＝1时，西7区区时为6－13＝－7，24－7＝17时（日期减去一天）。碰到跨年月时，要注意大月、小月、平年、闰年，才能准确作答。 四注意： 1、区时与地方时的关系 （1）地方时：由于地球自西向东的自转，在同纬度的地区，相对位置偏东的地点，要比位置偏西的地点先看到日出，时刻就要早。因此，就会产生因经度不同而出现不同的时刻，称为地方时。 一、选择题 1. 由n个命题变元组成不等值的命题公式的个数为（） A.2n B.2n C.n2 D. 2. 设P：我将去镇上，Q：我有时间。命题"我将去镇上，仅当我有时间时"符号化为（） A.P?Q B.Q?P C.P ?Q D.?Qú?P 3. 下列各组公式中，哪组是互为对偶的？（） A.P,P B.P, ?P C.A,(A*)* D.A,A （其中P为单独的命题变元，A为含有联结词的命题变元） 4. 设P：我们划船，Q：我们跑步。命题"我们不能即划船又跑步"符号化为（） A. ?pù?Q B. ?Pú?Q C. ?(P?Q) D.P??Q 5. 下面哪一个命题是命题"2是偶数或-3是负数"的否定？（） A. 2是偶数或-3不是负数 C. 2是奇数或-3不是负数 C．2不是偶数且-3不是负数 D. 2是奇数且-3不是负数 6. 设P：张三可以作这件事，Q：李四可以作这件事。命题"张三或李四可以做这件事"符号化为（） A.PúQ B.Pú?Q C.P?Q D. ?(?Pú?Q) 7. 下列语句中哪个是真命题？（） A.我正在说谎。 B.严禁吸烟。 C.如果1+2=3，那么雪是黑的。 D.如果1+2=5，那么雪是黑的。 8. 下面哪个联结词运算不可交换？（） A.ù B.? C.ú D.? 9. 命题公式(Pù (P?Q)) ?Q是（）。 A.矛盾式 B.蕴含式 C.重言式 D.等值式 10. 下面哪个命题公式是重言式？（） A.(P?Q)ù(Q? P) B.(PùQ)?P C.(?PúQ)ù?(?Pù?Q) D.?(PúQ) 11. 下列哪一组命题公式是等值的？（） A. ?Pù?Q,PúQ B.A?(B?A),?A?(A??B) C.Q?(PúQ),?Qù (PúQ) D.?Aú (AùB),B 12. P?Q的逆反式是（） A.Q??P B. P ?? Q C. ?Q?P D. ?Q??P 13. ?P?Q的逆反式是（） A.Q??P B. P ?? Q C. Q??P D.P ?? Q 14. 下列命题联结词集合中，哪一个是最小联结词组？（） A.{?,?} B.{?,ú,ù} C.{-} D.{ù,?} 15. 下列联结词集合中，哪一个不是最小联结词组？（） A.{?,ù} B.{?,?} C.{?,ù,ú} D.{-} 16. 已知A是B的充分条件，B是C的必要条件，D是B的必要条件，则A是D的（） A.充分条件 B.必要条件 C.充要条件 D.A、B、C都不对 17. ?P ? Q的反换式是（） A.Q??P B.?P??Q C.?Q??P D.P??Q 18. 下面哪一个命题公式是重言式？（） A.P?(QúR) B.(PúR)ù(P?Q) C.(PúQ) ? (QúR) D.(P?(Q?R)) ?((P?Q) ?(P?R)) UPS具体放电时间可有计算公式？ 因电池放电时间与放电电流、环境温度、负载类型、放电速率、电池容量等多因素相关，故实际放电时间无法直接用公式推导出。现提供电池最大放电电流公式：I=（Pcosφ）/（ηEi） ......其中P是UPS的标称输出功率; .......cosφ是负载功率因数，PC、服务器一般取0.6~0.7; ......η是逆变器的效率,一般也取0.8(山特10KVA取0.85); .......Ei是电池放电终了电压，一般指电池组的电压。 将具体数据代入上式，求出电池最大放电电流后，即可从电池的各温度下放电电流与放电时间的关系图上查出相应的放电时间。请注意这里求出的是电池总放电电流值。当外接多组电池时则需求出单组电池的放电电流值。 UPS具体放电时间可有计算公式？ 因电池放电时间与放电电流、环境温度、负载类型、放电速率、电池容量等多因素相关，故实际放电时间无法直接用公式推导出。现提供电池最大放电电流公式：I=（Pcosφ）/（ηEi） ......其中P是UPS的标称输出功率; .......cosφ是负载功率因数,PC、服务器一般取0.6~0.7; ......η是逆变器的效率,一般也取0.8(10KVA取0.85); .......Ei是电池放电终了电压，一般指电池组的电压。 将具体数据代入上式，求出电池最大放电电流后，即可从电池的各温度下放电电流与放电时间的关系图上查出相应的放电时间。请注意这里求出的是电池总放电电流值。当外接多组电池时则需求出单组电池的放电电流值。 如要计算实际负载放电时间,只需将UPS容量换为实际负载容量即可。 电池供电时间主要受负载大小、电池容量、环境温度、电池放电截止电压等因素影响。一般计算UPS电池供电时间，可以计算出电池放电电流，然后根据电池放电曲线查出其放电时间。T(供电时间)二V(电压)xAH(容量)xN(蓄电池数 量)xP．F．(功率因素)÷W(负载功率)。其中V是蓄电池电压，Ah是定格容量。离散数学,逻辑学,命题公式求真值表
求给定命题公式的真值表并根据真值表求公式的主范式
《地方时间的计算方法》 整理中
选择题由n个命题变元组成不等值的命题公式的个数为()
UPS放电时间计算公式
- 求给定命题公式真值表并根据真值表求公式主范式
- 命题、联结词、命题公式与真值表
- 求给定命题公式的真值表并根据真值表求公式的主范式
- 离散数学-逻辑学-命题公式求真值表
- 离散数学自学笔记命题公式及其真值表
- 实验二-命题公式的等值演算与真值表
- 离散数学实验报告命题逻辑—构造命题公式的真值表
- 求给定命题公式的真值表并根据真值表求公式的主范式
- 离散数学,逻辑学,命题公式求真值表讲课稿
- 离散数学自学笔记命题公式及其真值表
- 离散数学之逻辑运算和命题公式真值表
- 离散数学-逻辑学-命题公式求真值表
- 命题公式
- 任意命题公式的真值表
- 离散数学,逻辑学,命题公式求真值表
- 命题公式真值表
- 1.2 真值表、公式分类、命题定律、代入置换
- 2 离散数学-命题公式,真值表
- 离散数学命题公式真值表C++或C语言实验报告
- 1.2 命题公式及其赋值