1) упростить
а) (Av¬A)&B = 1&B = B
б) A&(¬BvC) = нечего сокращать или (A&¬B)v(A&C)
в) (x→y)v(y→x) = ¬X v Y v ¬Y v X = 1
2) ¬Av¬B = ¬(A&B)
должно быть так, проверьте еще у кого-нибудь.
1) упростить
а) (Av¬A)&B = 1&B = B
б) A&(¬BvC) = нечего сокращать или (A&¬B)v(A&C)
в) (x→y)v(y→x) = ¬X v Y v ¬Y v X = 1
2) ¬Av¬B = ¬(A&B)
должно быть так, проверьте еще у кого-нибудь.