Matematické Fórum

http://cs.wikipedia.org/wiki/Negace

Konjunkcia - pravdiva, ak su oba vyroky pravdive, teda v negacii nebude aspon jeden vyrok pravdivy
Disjunkcia (alternativa) - pravdiva, ak aspon jeden v. pravdivy, teda v negacii musia byt oba nepravdive.
Implikacia - pravdiva vzdy, az na pripad, kedy je prvy vyrok pravdivy a druhy nepravdivy ("z pravdy vyplyva nepravda"); negacia teda bude prvy pravdivy a zaroven druhy nepravdivy.

Nieco je tu, resp. tu je to aj vzorovo vyriesene. Dalsie su napriklad tu.