Proof Using Logical Operators