SWE 637 Homework 10
DNF Logic Testing
Ammann/Offutt page 207. Exercises 8.2, Number 1 (predicate iv only).
- I suggest you use the online DNF
tool to help you check your work.
- The online DNF tool assumes the expression is in non-redundant prime implicant form.
Hence, you must complete part (b) before firing up the tool.