Logical Normal Forms, Part 2

Due

Wed Oct 30 11:59 pm

Submission

Please submit your work using Gradescope.

Introduction

This is part two of the lab, where you go from NNF to CNF. See previous lab for an overview.

Overview of Starter Code

There is no new starter code. Continue with the same code you had last time.

Tasks

Here’s a rough guide on how to proceed.

1. Implement NormalForms.fromNNFtoCNF(). This is probably the trickiest part of this two part lab. Carefully test your implementation.
2. Implement NormalForms.toCNF(). Given everything you’ve already implemented, this should be easy.