bc+ac'+ab+bcd to four literals