TUGAS 3

1.~<p /\ q> ≡ ~ p V ~q

2. ~< p V q> ≡ ~p /\ q
3. q => p ≡ ~p => ~q
4. p => q ≡ ~q => ~p
5. q => ≡ (p=>q) => (q=>p)
6. ~p => ~q ≡ (p=>q) => (q=>p)
7. ~q => ~p ≡ p=> q
8. ~p => ~q ≡ q => p