Math discrete


 * /exam1 sprawdzian 2013-10-16

Operatory logiczne.

http://en.wikipedia.org/wiki/List_of_logic_symbols

NAND ↑ NOR ↓ XOR ⊕ implikacja ⇒ OR ∨ AND ∧

Sprawdzanie czy zdanie jest tautologią

 * metodą tabelki podstawienie możliwych kombinacji za zmienne p,q,r...
 * metodą szukania fałszu, podstawiamy tak aby mieć nieprawdziwe zdanie