Represent problem using predicates, and solve simple electrical circuit (and, or, not, gates)

I need to represent problem using predicates, and solve simple electrical circuit (and, or, not, gates) using Prolog. I will provide more details in chat.