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