File:DM1.Logic.9A.NormalForm.20180712.pdf