Question

LOGIKA w matematyce.

proszę o wyjaśnienie co zrobiłem nie tak zaprzeczając temu zdaniu?

~((p^q)=>r) = (~p v ~q) ^ ~r

~ - negacja

^ - koniunkcja

v - alternatywa

Answer 1

Korzystamy z prawa zaprzeczenia implikacji: ~(p => q) <=> p ^ ~q

Zatem:

~((p^q) => r) <=> (p ^ q) ^ ~r <=> p ^ q ^ ~r