Logic Axioms

Need this HW to be done within 12 hours