Compound Statement In Symbolic Form