zdania logiczne pati793: czy to dobrze ?

Adamm: czy to jest XOR ?

pati793: w sensie ?

pati793: chodzi mi o zaprzeczenie

Milo: Zaprzeczenie nie jest spójnikiem pomiędzy 2 zdaniami. Tzn. możemy mówić ~p (nieprawda, że p); ~q (nie q) czy np. ~(p∧q) (nieprawda, że p i q). We wszystkich tych przypadkach zaprzeczamy jedno zdanie − proste lub złożone, ale jedno. Cóż to za twór p~q? Tabelka dla zaprzeczenia wygląda tak: p ~p 1 0 0 1

pati793: dobra już rozumiem o co chodzi dziękuję bardzo za wytłumaczenie