A quick break: Q5.4
Finish the derivation below by selecting rules and sentences. Make your selections by clicking on the "drop-down" arrows.
Show that '~(A&B)' can be derived on line 7. This sentence is our "goal".