Mayank Jain's repositories
hello-world
First repository - learning
Maximal-Points-3D
In a given set of points in 3D, a point (x1,y1,z1) is said to be maximal if no other point (x2,y2,z2) is present in the given set such that x1<x2 & y1<y2 & z1<z2 all simultaneously.
resolution-refutation-prolog
resolution refutation is method of finding whether the given antecedent implies the consequent or not, it could also be used to check validity of the expressions.
semantic-tableau
semantic tableau is method of finding whether the given logic (propositional logic here) is consistent or inconsistent, whether it is valid (tautology) or not.