İse bağlacının veya cinsinden yazılışı (p⇒q ≡ p'∨q) Test 2

Bir programlama dilinde "if (condition) then (action)" ifadesi "not(condition) or (action)" şeklinde yeniden yazılıyor. Bu dönüşüm hangi mantıksal eşdeğerliği temsil etmektedir?

A) p∧q ≡ p'∨q'
B) p⇒q ≡ p'∨q
C) p∨q ≡ p'⇒q
D) p⇔q ≡ (p⇒q)∧(q⇒p)