Udowodnic tozsamosc, ze L=P (prawa algebry Boola)

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
Awatar użytkownika
tresbien
Użytkownik
Użytkownik
Posty: 122
Rejestracja: 18 lis 2008, o 11:47
Płeć: Mężczyzna
Lokalizacja: Z kompa
Podziękował: 70 razy

Udowodnic tozsamosc, ze L=P (prawa algebry Boola)

Post autor: tresbien »

\(\displaystyle{ \neg x+xy+x \neg z+x \neg y \neg z= \neg x+y+ \neg z}\)

doszedlem do tego:

\(\displaystyle{ \neg x+ \neg z+y+x \neg y \neg z}\)

Problem mam z tym wyrazeniem trzy elementowym, nie wiem czy mozna zastosowac do niego 2 gie prawo rozdzielnosci czyli: \(\displaystyle{ x+yz=(x+y)(x+z)}\) i zrobić tak: \(\displaystyle{ (x+x)(y+ \neg y)(y+ \neg z)+ \neg z+ \neg x}\) ?


Prosze o pomoc.
ODPOWIEDZ