README.md

Inference-and-Logic-Parser

Lab assignment for CS214: Discrete Structures, featuring a logical expression solver and an inference engine that applies inference rules (e.g., Modus Ponens, Resolution).