Matematyka.pl

Witam mam taki przykład:
\(\displaystyle{ p | q \Leftrightarrow \sim p \vee \sim q}\)

i podpunkty do niego:
a) napisz matryce logiczną
b) napisz i udowodnij czy kreska shettera(chyba tak nazywa sie ta kreska niestety nie pamiętam) jest rozdzielna względem koniunkcji
c) zapisz alternatywę za pomocą kreski shettera
d) zapisz kreskę shettera za pomocą koniunkcji

Próbowałem lecz ta kreska zaburzyła mój spokój i pytam się o co kaman...

Kreska Sheffera.

Czego konkretnie nie rozumiesz?

JK

Już zapoznałem się z definicją lecz nie potrafię udowodnić punktu b

Nie umiesz sformułować odpowiedniego prawa rozdzielności czy nie umiesz go udowodnić?

JK

Skoro nie mam prawa to skąd mogę wiedzieć czy potrafiłbym go udowodnić

A znasz prawo rozdzielności alternatywy względem koniunkcji?

JK

Tak.

No to zamień alternatywę na kreskę Sheffera i już będziesz wiedział, co dowodzić.

JK