In NAND logic analysis procedure application requires repeated application of

• A. truth table
• B. feedback theorem
• C. demorgan's theorem
• D. K-map