教えてください。

質問

ｑ → ¯ｐを論理和により表される等価な論理式を教えてください。

回答No.1

alice_44

q implies not p の意味かな？
(A → B) ≡ (B or not A) から、
(q → not p) ≡ ((not p) or (not q)).
or を使って書くなら、この形。

お礼

ありがとうございます。