@Test (true and false) or true implies (false xor true) => true
