ECS759-Assignment2-Logic-and-classification FOL and CNFs expression, CNN based MNIST-fashion classification