Strona 1 z 1

Alternatywa rozłączna poprzez negacje koniunkcji alternaty

: 14 paź 2007, o 14:25
autor: allende
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 ?

Alternatywa rozłączna poprzez negacje koniunkcji alternaty

: 14 paź 2007, o 18:03
autor: Lorek
Może tak:
\(\displaystyle{ \sim [(a\vee b)\wedge (\sim a\vee b)]}\)