Implies Gate

x => y = s The bottom switch represents the proposition, or x; the relay/electromagnet in the middle represents NOT x; the top switch represents the predicate, or y; and the lightbulb represents the logical result/output, or s. x => y = s.