Basic Tautologies

UVA - 10847