Alternatywa rozłączna poprzez negacje koniunkcji alternaty

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
allende
Użytkownik
Użytkownik
Posty: 4
Rejestracja: 14 paź 2007, o 14:22
Płeć: Mężczyzna
Lokalizacja: Gdańsk
Podziękował: 1 raz

Alternatywa rozłączna poprzez negacje koniunkcji alternaty

Post autor: allende » 14 paź 2007, o 14:25

Witam serdecznie !

Głowię się od jakiegoś czasu jak zrobić takie zdanie:
Wyraź alternatywę rozłączną poprzez negację koniunkcji alternatywy zwykłej na A i B i przyznam się szczerze, że nie wiem jak mam takie coś zrobić ;/ doszedłem jedynie do takiego wniosku ale za pewne błędnego:
⌉((A V B) ∧ ⌉(A V B)) ≣ A v B
Czy ktoś może mi pomóc ?

Awatar użytkownika
Lorek
Gość Specjalny
Gość Specjalny
Posty: 7149
Rejestracja: 2 sty 2006, o 22:17
Płeć: Mężczyzna
Lokalizacja: Ruda Śląska
Podziękował: 1 raz
Pomógł: 1322 razy

Alternatywa rozłączna poprzez negacje koniunkcji alternaty

Post autor: Lorek » 14 paź 2007, o 18:03

Może tak:
\(\displaystyle{ \sim [(a\vee b)\wedge (\sim a\vee b)]}\)

ODPOWIEDZ