(a | V) & (b | F) & (c | V)
