Laboratorium
Wyrażenia logiczne
Tabele prawdy i porównywanie wyrażeń.
Jedna litera oznacza jedną zmienną. Operatory:
!, &, |, ^.(x ∧ ¬y) ∨ (¬x ∧ y) = x ⊕ y
Wyrażenia są równoważne
| x | y | (x & !y) | (!x & y) | x ^ y |
|---|---|---|---|
| 0 | 0 | 0 | 0 |
| 0 | 1 | 1 | 1 |
| 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 0 |