源代码就是这个文件,用C++实现的.可以处理大多数表达式,并且指出像是两个原子命题之间没有连接词的情况,以及使用了不合法字符的情况如 P(Q->P) 或者p/\Q W->Q. 程序在处理输入的时候会自动把/\之类两个字符的连接词换成一个字符来处理,所以使用#(代替双蕴涵),¥(代替蕴涵),&(代表合取),|(代表析取)程序是不会报错的 比如P&Q和P/\Q结果是一样的 输入不对连接词的也会报错,如P<-Q也会提示非法。
Present by 马治斌
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.