!a | a & a & !a
+-+-+
|a|R|
+-+-+
|F|V|
+-+-+
|V|F|
+-+-+
