This is an assignment for describing the implies operator using English:
For an implies truth table I want x being true and y being true to be true. I want x being false and y being false to be true and I want x being false and y being true to be true. The only thing I don’t want to be true is that x is true and y is false.
That way it looks like the implies truth table. The output of (1,0) is 0.
I was thinking about making implies operator this morning and found that for the rows I want a T output, I didn’t have to make an operator for them. What worked is just thinking about what I can’t have true in an implies table. That’s the x being true and y being false.
The way I described the operator is: I can’t have both x be true and y be false. Here’s the operator: not(and(x,not(y)))
Truth table:
