logika ?

gersiu [ Pretorianin ]

logika ?

Cześć
A wiec mam kilka wątpliwości co do tego tematu . Dzisiaj na ćwiczeniach robiliśmy przykład .
Mieliśmy jakieś tam zdania . Zapisaliśmy w postaci :
~[p=>(q=>~r)]
I powiedzcie mi jak oni robili dalej i skąd im się to brało . Ponoć zostało tu użyte prawo DeMorgana , ale jakoś go nie widze . I dalej robili tak :
~[p=>(~q v ~r)]
~[~p v (~q v ~r)]
p ^ q ^ r
Wiem jak brzmi prawo DeMorgana i umiem je zapisac ale nie widze go tutaj , a po zatym skąd wzięli tą drugą linijke ?? Czy ktoś mógłby mi to wytłumaczyć krok po kroku ??

gersiu [ Pretorianin ]

jeszcze przed tą ostatnią linijką powinno być p ^ ~(~q v ~r) czyli całe zadanie:

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