Proszę sprawdzić czy dane schematy logiczne są tautologia za pomocą metody skróconej. (zero-jedynkowej)
1. (p -> q) -> (~ p v q)
2. (p -> q) -> {(p -> r) -> [(p -> (q ^ r)]}
3. (p ^ ~ q) -> ~ ( p -> q)
4. [ (p -> q ) ^ q] -> (p º q) to koleczko to rownosc
5. ~ (p ^ q ) -> {( ~ p v r ) -> [ p -> ( ~ q ^ r )]}
6. [p -> ( ~ q v r )] º [ ~ ( ~ p v q ) v (r v ~ p)]
tautologia ,prosze o pomoc
Rozpoczęty przez log88, Sep 25 2009 17:48
1 odpowiedź w tym temacie