Uprościć formułę:
\(\displaystyle{ (p q) (p q)}\)
Dochodzę do:
\(\displaystyle{ (p q) ( p q)}\)
Nie za daleko :p Co dalej?
Uprościc formułę
-
raidmaster
- Użytkownik
- Posty: 65
- Rejestracja: 20 lis 2006, o 18:48
- Płeć: Mężczyzna
- Lokalizacja: PK
- Podziękował: 37 razy
- Pomógł: 1 raz
-
Sir George
- Użytkownik
- Posty: 1125
- Rejestracja: 27 kwie 2006, o 10:19
- Płeć: Mężczyzna
- Lokalizacja: z Konopii
- Podziękował: 4 razy
- Pomógł: 203 razy
Uprościc formułę
A dalej z praw rozdzielności...
\(\displaystyle{ \ldots\ \iff\ \big((p\wedge q)\vee p\big)\wedge\big((p\wedge q)\vee q\big)\\ \qquad\ \iff\ \big((p\vee p)\wedge(q\vee\neg p)\big)\wedge\big((p\vee q)\wedge(q\vee\neg q)\big)\\ \ \qquad\ \iff\ ( q\vee p)\wedge(p\vee q)\\ \qquad\ \iff\ ( p\Rightarrow q)\wedge(p\Leftarrow q)\\ \qquad\ \iff\ \big( p\iff q\big)}\)
\(\displaystyle{ \ldots\ \iff\ \big((p\wedge q)\vee p\big)\wedge\big((p\wedge q)\vee q\big)\\ \qquad\ \iff\ \big((p\vee p)\wedge(q\vee\neg p)\big)\wedge\big((p\vee q)\wedge(q\vee\neg q)\big)\\ \ \qquad\ \iff\ ( q\vee p)\wedge(p\vee q)\\ \qquad\ \iff\ ( p\Rightarrow q)\wedge(p\Leftarrow q)\\ \qquad\ \iff\ \big( p\iff q\big)}\)
-
raidmaster
- Użytkownik
- Posty: 65
- Rejestracja: 20 lis 2006, o 18:48
- Płeć: Mężczyzna
- Lokalizacja: PK
- Podziękował: 37 razy
- Pomógł: 1 raz
Uprościc formułę
Rzeczywiście, wcześniej rozrysowywałem to tabelką i wyszła mi równoważość tylko nie wiedziałem jak do niej dotrzeć. Dzięki wielkie.