Laudis.Pitkä matematiikka

PITKÄ MATEMATIIKKA · YLIOPPILASKOE

Tehtävä 11 · 2010 · syksy

Koko koe: syksy 2010 →

Olkoot AA, BB ja CC lauseita. Tutki, ovatko lauseet a) A∨BA\vee B, b) (A∨¬B)∨(C∨B)(A\vee\neg B)\vee(C\vee B) tautologioita.

Ladataan tehtävää...