a||(b||c)