Quote from: xxx3 on 22.11.2011, 21:58:46
ano tak to mam, Rajo ... ale odkial mate 9 ci 10 formul ?? Ja mam len 7
to čo som písal vyššie tak v tom máš už hned 2 formuly ... tie disjunkcie 2...dalsie mi vychadzaju takto:
z ^ negT => u v x l=l z ^ (t v u v x) - z je tretia, a (t v u v x) je štvrtá...
z <=> u l=l (z => negU) ^ (negU => z) l=l (negZ v negU) ^ (u v z) - dalsie 2=6
neg (x => u) l=l neg (negX v u) l=l x ^ negU (nerobim tu chybu? tu mám tiež 2 formuly)
negY => u l=l y v u - dalsia
a posledná je samotná, čiže negT ... kde mám chybu ?