Logika

Zaprzeczenie koniunkcji: ∼ (𝑝 ∧ 𝑞) ⇔ (∼ 𝑝 ∨∼ 𝑞)
Zaprzeczenie alternatywy: ∼ (𝑝 ∨ 𝑞) ⇔ (∼ 𝑝 ∧∼ 𝑞)
Prawo zaprzeczenia implikacji: ~(𝑝 ⇒ 𝑞) ⇔ (𝑝 ∧ ~𝑞)
Prawo eliminacji implikacji: (𝑝 ⇒ 𝑞) ⇔ (~𝑝 ∨ 𝑞)
Kwadrat logiczny:

W implikacji 𝑝 ⇒ 𝑞
𝑝 jest warunkiem wystarczającym na to by 𝑞 (𝑝 wystarcza by zachodziło 𝑞: 𝑝 ⇒ 𝑞)
𝑞 jest warunkiem koniecznym na to by 𝑝 (jeśli 𝑞 nie zachodzi to nie zachodzi też 𝑝: ~𝑞 ⇒
~𝑝)
W równoważności 𝑝 ⇔ 𝑞
𝑝 jest warunkiem koniecznym i wystarczającym na to by 𝑞.
𝑞 jest warunkiem koniecznym i wystarczającym na to by 𝑝.
 Teoria Grafów
Grafy, macierze sąsiedztwa, drogi i cykle Eulera
Droga prosta - przechodzi przez daną krawędź tylko jeden raz, wszystkie krawędzie są różne.
Cykl prosty - zaczyna i kończy się na tym samym wierzchołku oraz przechodzi przez daną
krawędź tylko jeden raz, długość minimalnie dwa.
Stopień wierzchołka - ilość odchodzących od niego krawędzi Dx(G) = ilość wierzchołków o
danym stopniu x. Suma ilości wierzchołków o danym stopniu podzielona na dwa daje ilość
krawędzi.
Droga Eulera - posiada dokładnie dwa wierzchołki nieparzyste resztę parzystych. Drogą
Eulera w grafie G nazywamy każdą drogę prostą, zawierającą wszystkie krawędzie grafu G.
Cykl Eulera - posiada wszystkie wierzchołki parzyste. Cyklem Eulera w grafie G nazywamy
każdy cykl prosty, zawierający wszystkie krawędzie grafu G. Każdy cykl Eulera jest również
drogą Eulera.
Macierz sąsiedztwa - elementami macierzy jest ilość połączeń między danymi punktami.
Kolejne podnoszenie macierzy do potęgi wskazuje ile jest dróg o danej długości równej
stopniowi potęgowania między dwoma wierzchołkami.
Graf spójny - każda para różnych wierzchołków jest połączona drogą w tym grafie.
Graf prosty - nie posiada pętli i krawędzi wielokrotnych.
Graf pełny - każde dwa wierzchołki są połączone krawędzią. Graf pełny o n wierzchołkach
oznaczamy symbolem Kn.

Drzewa, grafy dwudzielne, drogi i cykle Hamiltona

Drzewo T - każdy graf spójny i acykliczny. Z acykliczności wynika brak krawędzi wielokrotnych
i pętli w każdym drzewie. Drzewo o n wierzchołkach ma dokładnie n-1 krawędzi. Wierzchołki
stopnia 1 w drzewie nazywamy liśćmi. Drzewo o 𝑛 wierzchołkach ma dokładnie 𝑛 − 1
krawędzi.
Drzewo binarne - drzewo, w którym wszystkie wierzchołki są co najwyżej 3 stopnia.
Ukorzenione drzewo binarne - drzewo binarne, w którym został wyróżniony jeden
wierzchołek stopnia 2 (zwany korzeniem).
Drzewo regularne - ukorzenione drzewo binarne, w którym wszystkie wierzchołki (oprócz
korzenia) mają stopień 3 lub 1. (Tylko jeden wierzchołek stopnia 2)
Drzewem spinającym (rozpinającym) 𝑻 grafu 𝑮 nazywamy podgraf grafu 𝐺, który jest
drzewem i zawiera każdy wierzchołek grafu 𝐺, czyli 𝑉(𝐺) = 𝑉(𝑇). Graf Kn ma nn-2 drzew
spinających
Drogą Hamiltona - przechodzi przez każdy wierzchołek grafu dokładnie jeden raz.
Cykl Hamiltona – cykl, który przechodzi przez każdy wierzchołek grafu dokładnie jeden raz, z
wyjątkiem ostatniego wierzchołka, którym ponownie jest pierwszy wierzchołek.
Graf mający cykl Hamiltona nazywamy grafem hamiltonowskim. Graf hamiltonowski po
dodaniu nowych krawędzi nie przestaje być grafem hamiltonowskim.
Graf dwudzielny - dwa oddzielne zbiory gdzie każdy wierzchołek z jednego zbioru V1 jest
połączony przynajmniej jedną krawędziom z wierzchołkiem ze zbioru V2. Każda krawędź w
grafie G łączy wierzchołek ze zbioru V1 z wierzchołkiem ze zbioru V2.
Pełny graf dwudzielny – każdy wierzchołek zbioru V1 jest połączony dokładnie jedną
krawędzią z każdym wierzchołkiem zbioru V2.
Załóżmy, że n + m >= 3 wtedy (Kn,m - pełny graf dwudzielny):

 Graf Kn,m ma cykl Hamiltona ⇔ n = m.

 Graf Kn,m ma drogę Hamiltona ⇔ |n − m| <= 1.