好看的言情小说推荐_女生小说在线阅读 – 潇湘书院

當前位置:瀟湘首頁 > 小說問答 > 離散型數學邏輯與證明例題

離散型數學邏輯與證明例題

2025年01月18日 08:06

以下為您提供一些離散型數學邏輯與證明的例題: 例 1:給出 ┐(P ∧Q)?( ┐P ∨┐Q) 的真值表。 解:一般來說,n 個命題變元組成的命題公式共有 2^n 種真值指派。 P Q ┐(P ∧Q) ? ( ┐P ∨┐Q) 0 0 1 0 1 1 1 0 1 1 1 1 例 2:用等值演算法證明下列等值式: 規則⑧ R∧┐R⑤⑦合取 (6) ① ┐(R∨S) 結論否定引入 ② ┐R∧┐S①置換規則 ③ ┐R②化簡規則 ④ P →R 前提引入 ⑤ ┐P③④拒取 ⑥ ┐S②化簡規則 ⑦ Q → S 前提引入 ⑧ ┐Q⑥ ⑦拒取 ⑨ ┐P∧┐Q⑤⑧合取 ⑩ ┐(P∨Q )⑨置換規則 (11) P∨Q 前提引入 (12) ┐(P∨Q )∧(P∨Q )⑨11 合取 點擊前往免費閱讀更多精彩小說
熱門搜索更多 >
  • A
  • B
  • C
  • D
  • E
  • F
  • G
  • H
  • I
  • J
  • K
  • L
  • M
  • N
  • O
  • P
  • Q
  • R
  • S
  • T
  • U
  • V
  • W
  • X
  • Y
  • Z
主站蜘蛛池模板: 德兴市| 临武县| 磐石市| 丘北县| 潮安县| 襄垣县| 麦盖提县| 财经| 南召县| 澳门| 呼图壁县| 独山县| 浦城县| 海晏县| 黑龙江省| 焦作市| 湾仔区| 朔州市| 灵宝市| 新巴尔虎右旗| 大名县| 巴中市| 梁河县| 疏附县| 军事| 甘德县| 泽库县| 三亚市| 庆阳市| 修文县| 南丹县| 舞阳县| 宿松县| 富阳市| 岳阳县| 衢州市| 南和县| 临夏市| 合川市| 会昌县| 徐州市|