!(!a or !b) or !(a or b)