Logiikka

Tähän pdf

Tärkeimmät termit:

Konnektiivi = ¬, ∧, ∨, ⇒ ja ⇔.
Formalisointi = Sanallinen lause muutetaan loogiseksi lauseeksi
Totuustaulukko = Taulukko, joka esittää kaikki mahdolliset totuusarvot (eli 1 tai 0)

Tehtävä1: Abi abi abi

Tehtävä2: Marsu