1)Упростите логическиевыражения:а)F=(Av¬A)&B;б)F=A&(¬BvC);в)F=(x→y)v(y→x). 2)Придумайте...

Question

1)Упростите логическиевыражения:а)F=(Av¬A)&B;б)F=A&(¬BvC);в)F=(x→y)v(y→x).
2)Придумайте логическое выражение для следующего высказывания : ¬Av¬B.
Cпасибо.

Answer 1

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)

должно быть так, проверьте еще у кого-нибудь.