4 26 (!c&!d)^(!a&c&!d)^(a&!b&c)