(((c&&a)||(!c&&!a))&&((a&b)||(!a&&!b)))=>((c&&b)||(!c&&!b))