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