Convert the statements to negation normal form and conjunctive normal form (CNF). Explain each step. Starting
Fantastic news! We've Found the answer you've been seeking!
Question:
Convert the statements to negation normal form and conjunctive normal form (CNF). Explain each step.
• Starting formula
• de Morgan
• distribution
• replace implications
• double negation
1. ((Q∧¬P)→¬(Q∧¬T))
2. ((¬T∧Q) ∨ (P→¬(¬T ∨ Q)))
Related Book For
Concepts of Database Management
ISBN: 978-1285427102
8th edition
Authors: Philip J. Pratt, Mary Z. Last
Posted Date: