No self-introduction
Loading
Profile
Follow
codes (1)
Artificial intelligence algorithm Wang Hao
4.0
Algorithm for propositional logic Wang Hao, integrity can be directly run. For a given formula (p<->q)-> (p->q) function to simplify be translated into only!,->. Function rule1, rule2, rule3,rule4, Wang Hao four rule algorithm, respectively, by continually calling these four functions, until the original formula as Made up of Atomic formulas, according to Wang Hao axiom algorithms check if the formula is true for.
hellohi43143 4 0
1
No more~
Follows0
Fans0