Graphs of the 4 Logical Notions

(2 elements - 1 binary relation)