"lihtsustatav" - 1 õppematerjal

Mis on Diskreetne Matemaatika

= ( x̄ 1 Z x2 ) ⊕ x2 = ( x̄ 1 Z x2 ) x2 Z ( x̄ 1 Z x2) x̄ 2 = 1 1 1 [(1 → 1) Z 1 1 ] ⊕ 1 = 0 1 1 = 0 = x 1 x̄ 2 x 2 Z x̄ 1 x̄ 2 Z x 2 x̄ 2 = x̄ 1 x̄ 2 Seega omavad nii esialgne lihtsustatav avaldis kui ka lihtsustatud avaldis samasugust tõeväärtustabelit ehk nad on loogiliselt võrdsed: Seega osutub, et x1x2 x3 [ ( x 1 → x 2 ) Z x̄ 1 x 3 ] ⊕ x 2 x̄ 1 x̄ 2