[p' V ( p ^ q ' ) ] V q​