A propositional logic solver using the DPLL algorithm encounters a CNF formula with a unit clause. Which consequence follows during unit propagation?

💡 Explanation

When a unit clause exists, unit propagation assigns the literal in that clause a truth value because this forces the clause to be satisfied. Therefore, a literal is assigned, rather than the solver backtracking or making random assignments, since the unit clause provides direct information.

• A search algorithm must locate a student record within a database of 10,000 entries. Which algorithm provides the MOST efficient time complexity in the worst-case scenario?
• A Monte Carlo simulation estimates financial risk; if it has a small probability of a very large loss, which effect dominates the decision-making, considering the algorithm's expected value?
• A distributed sensor network measures temperature and humidity; which outcome suggests temperature and humidity readings from spatially separated sensors are statistically independent?
• Which outcome occurs when a digital circuit design violates the principle of 'no floating inputs' and an input is left unconnected?
• If an engineer uses dynamic programming to solve the all-pairs shortest path problem in a directed graph with 500 nodes, what limits its scaling to larger graphs?
• A network of interconnected computers is designed such that every computer is connected to at least 'd' others. Which outcome regarding communication resilience occurs as 'd' increases?