[уМ сатри. Инкор, конъюнкция, дизъюнкция, эквиваленция ва

2) ихтиёрий икки х  ва у  мулохазалар учун, агар х = у  
булса, у холда у = х;
3) ихтиёрий х, у, z
учта мулохазалар учун х s у  ва у = z 
булса, у холда л: = z-
1. К уйидаги ф орм улаларнинг чинлик ж адвалларини тузинг:
М а ш ц л а р
1) ( x v j ) A(y -> (i/-> x )); 
2) x ,- » ( x 2-> (...
3 ) X , V X 2 V . . . V X n - > ^ | A y 2 A . . . A j ' ji.
2. Т ен г кучлиликларни исботланг:
1) х н у = х <г*у ;
3) х ^ у = у ^ х ;
2) x y v х у  v х у = х —»>>;
4) х -> 0 > -» г)
5) 
X = ( X A > ’A ^ ) v ( X A y A Z
) v ( X A у A Z ) v ( X A y
A Z
).
3. Ф ормулаларни соддалаш тиринг:
1) ( х - » х ) —>х;
3) х - 7 v ( x - > ^ ) - x ;
2) х-+(х->>>);
4) (x<-^y)A(xvj;).
3 - § . Айнан чин, айнан ёлгон ва бажарилувчи 
формулалар
F7f А й н ан чин. А й н ан ё л го н . Т а в т о л о ги я . Б а ж а р и л у вч и  
формула. Мантих; щонунлари. Ечилиш муаммоси.
www.ziyouz.com kutubxonasi