Mis on Diskreetne Matemaatika
ülesanne: On eespool olnud lause:
Kui McLaren on kiirem kui Ferrari ja vihma ei saja,
siis Häkkinen võidab sõidu:
__ __
(M ∧ V) → H
. . . ja eespool olnud ühe teise lause vähemuudetud kuju:
Kui Häkkinen ei võida sõitu, siis Ferrari on kiirem
kui McLaren või vihma sajab:
__
H → (M ∨ V)
Kontrollida nende lausete loogilist samaväärsust
ühe lause valemesituse formaalse teisendusega teise lause valemiks.
lahendus:
Teisendame esimese valemi teiseks Kontrapositsiooni ja De Morgani
seaduste abil:
__ __
A → B = B → A
______ __ __
A ∧ B = B ∨ A
——————————————————————————————
__ __
(M ∧ V) → H
________
__ __ __
H → (M ∧ V )
__
H → (M ∨ V)
annaabi.ee 
