(p^q')' => p
karşıt anlamı nedir