inverse
Negating both pieces of a conditional -- \neg p\implies\neg q from p\implies q.
The inverse of p\implies q is \neg p\implies\neg q.
See also
Point table
Graph settings
Calculator