~( (((p && q) <--> (r || s))) )