Visualisering av grundläggande logiska operationer.

• Konjunktion (∧)
• Disjunktion (∨)
• Negation (¬)

Mer avancerade logiska operationer och deras sanningsvärden.

• Implikation (→)
• Ekvivalens (↔)
• Exklusiv eller (⊕)

Sanningstabeller för komplexa logiska formler med flera variabler.

• Sammansatta uttryck
• Förenkling av formler
• Tautologier och motsägelser

Strukturerade bevis med naturlig deduktion och bevisträd.

• Slutledningsregler
• Antaganden och konklusion
• Formella bevis

Visualisering av kvantifikatorer och deras betydelse i predikatlogik.

• Universell kvantifikator (∀)
• Existentiell kvantifikator (∃)
• Kvantifikatorernas räckvidd

Karnaugh-kartor för visualisering och förenkling av booleska funktioner.

• 2-, 3- och 4-variablers kartor
• Identifiering av grupper
• Minimering av uttryck

Steg-för-steg bevis av De Morgans lagar med sanningstabeller.

• ¬(A ∧ B) ≡ ¬A ∨ ¬B
• ¬(A ∨ B) ≡ ¬A ∧ ¬B
• Algebraiskt bevis

Viktiga lagar för förenkling av logiska uttryck.

• A ∨ (A ∧ B) ≡ A
• A ∧ (A ∨ B) ≡ A
• Distributivitet och kommutativitet

Olika sätt att uttrycka implikationer och deras ekvivalenser.

• A → B ≡ ¬A ∨ B
• Kontraposition
• Biimplikation

Grundläggande logiska grindar och deras symboler.

• AND, OR, NOT-grindar
• NAND, NOR, XOR
• Kretsdiagram

Grundläggande lagar och identiteter i boolesk algebra.

• Kommutativa lagen
• Associativa lagen
• Distributiva lagen

Den viktigaste slutledningsregeln i logik.

• Om A → B och A, då B
• Giltighet och korrekthet
• Praktiska tillämpningar

Universell kvantifikator och dess användning i predikatlogik.

• ∀x P(x) - för alla x gäller P(x)
• Definitionsområde
• Kvantifikatorväxling

Temporala operatorer för att beskriva tid och sekvenser.

• □ (always), ◇ (eventually)
• ○ (next), U (until)
• Verifikation av system

Rekursiva definitioner och induktiva bevis på datastrukturer.

• Bas- och rekursionsfall
• Strukturell induktion
• Träd och listor