4.6.1. Propositional Logic: Syntax, Semantics, CNF Form, Inference using Resolution, Backward Chaining and Forward Chaining Questions & Answers | Artificial Intelligence BIT | TU | TABFlux