Discrete Structure And Theory Of Logic Image