GithubHelp home page GithubHelp logo

truthtable's Introduction

TruthTable

离散数学上机实验1:利用真值表求主析取范式和主合取范式

实验目的:

编程实现用真值表法求任意变量的合式公式的主析取范式和主合取范式 

要求: 

  1. 从屏幕输入变元个数和每种情况的真值
  2. 规范列出合式公式的真值表
  3. 给出相应主析取和主合取范式

实验原理及内容:

  • 从键盘读入变元的个数以及期望的运算结果;并根据变元的个数生成动态数组进行遍历,由遍历结果导出主合取范式与主析取范式。
  • 程序使用了面向对象,为便于阅读,类声明、实现以及主函数流程分为三个文件,编译时由makefile进行连接。

Tips:

  1. 实验代码都在里面,自己看
  2. 实验报告也在里面了
  3. 要用的同学们,抄袭不好啊…你们好歹改一改啊
  4. 如果被老师打了不要来找我

Upgrade 2016.11.2

  • 想了一下,果然还是应该把vector放private里
  • 修改了一下vector的清空方式
  • 删掉了实验报告,这个你们还是自己写吧w

truthtable's People

Contributors

discard-22524 avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.