Solver for the game Overflow using propositional logic

Wrote an AI to play Minesweeper.

AI that plays minesweeper using propositional logic.

Propositional theorem prover using the tableaux method and FOL theorem prover using resolution

semantic tableau is method of finding whether the given logic (propositional logic here) is consistent or inconsistent, whether it is valid (tautology) or not.

More representative means

Propositional Logic Theorem Prover using Resolution-Refutation takes Knowledge Base (i.e., formulae) and Query as input and implement a refutation proof (by first converting the given formulae into CNF), and report the result (1 if the query holds, and 0 otherwise). Additionally, the program have an option to print the resolution steps used in t…

Jape 2.0?

Messing around with propositional logic in Agda

Automatically checks whether a given propositional formula is satisfiable.

HCMUS - Artificial Intelligence - Lab 2: Popositional Logic - Resolution

Programming homework of Discrete Mathematics(1)

AI driven Minesweeper using Propositional Logic & Knowledge Inference

Logic for Computer Science, Course Repository, IITD 7th Semester 2023-24

Educational propositional logic tool for producing truth tables and checking logical properties.

Supplementing a Bayesian Network with classical and defeasible inference logical statements.

Guessing a secret code using Minisat22.

A resolver for propositional logic schemata/well-formed formulas using Quine’s method of truth value analysis.

Propositional logic formulae parser and implementation of Tableaux method for satisfiability proving of propositional logic formulae.