(a | V) & (b | F) & (c | V)
+-+-+-+-+
|a|b|c|R|
+-+-+-+-+
|F|F|F|F|
+-+-+-+-+
|F|F|V|F|
+-+-+-+-+
|F|V|F|V|
+-+-+-+-+
|F|V|V|V|
+-+-+-+-+
|V|F|F|F|
+-+-+-+-+
|V|F|V|F|
+-+-+-+-+
|V|V|F|V|
+-+-+-+-+
|V|V|V|V|
+-+-+-+-+
