Conjunction introduction

• and-introduction

• and-elimination (conjunction elimination, simplification)