q' => p' totolojimidir çelişkimi ? neden ?
çelişkidir çünkü p =q ise bu olaydır
totolojidir çünkü çelişki yoktur ........................