This is some of my logic assignment which I work upon in an course.