Conjunction
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
State
From p and q on separate lines, derive p · q.
Show
1. A. 2. B. 3. A · B (1, 2, Conj).
Watch for
Assembly is free; both parts are already proven. Simp takes apart, Conj puts together.