Type: User
为迎合大家的需求对程序进行了一些小的改进，现在的版本更加亲民一些
支持输入命题，判断命题是否合法，若合法则输出是否能被证明
用由数字、大写字母、小写字母组成的字符串表示不同的命题变元，!表示否定，&表示合取，|表示析取，>表示蕴含，=表示双蕴含
运算顺序为()!&|>=
程序会输出每一步的证明过程以及推导依据
附有书中2道例题和3道习题，图片是例题1的完整证明过程
算法经过改良，会倾向于尽可能缩短证明步骤
例1：
(!Q&(P>Q))>!P
例2：
((P|Q)&(P>R)&(Q>S))>(S|R)
习题1：
!Q&(P>Q)>!P
习题2：
(P>Q)&(R>S)&(!Q|!S)>!P|!R
习题3：
!(P&Q)>!P|!Q
arceos
An experimental modular OS written in Rust.
jtdiff
thupc2023_pre
wanghaoalgorithm
My first repository
React
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
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
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.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
