I must show this argument using a circuit, that part I know how to do. The part i am stuck on is turning the argument into one that can be translated into a circuit

"p or q"

not q

therefore p

this changes to (p v q) ^ not q --> p

now I know i must use De Morgans Law to change the therefore but I wasn't sure which part is negated. Any help would be appreciated!