You are on page 1of 2

B→ B B∧ B

B→ S B∧ S

S→B S∧B

S→S S∧S

B↔ B B∨ B

B↔ S B∨ S

S↔B S∨B

S↔S S∨S

You might also like