Используя соглашения об экономии скобок, уменьшите число скобок в сле-дующих формулах: (a) (-(A V B) V (A1 -(C))); (b) (A^ B) = (C # D) V ((-4) ^ (-B)); (c) (A = B) V ((-A = B) ^ (41 B)); (d) (((A^ B) V C) ^ D) = (-B).

(a)

Уберем внешние лишние скобки: -((A V B) V (A1 -(C)))

(b)

Уберем внешние лишние скобки: (A^ B) = (C # D) V (-4 ^ (-B))

(c)

Уберем внешние лишние скобки: (A = B) V (-A = B) ^ (41 B)

(d)

Уберем внешние лишние скобки: ((A^ B) V C) ^ D = -B

Полученные формулы после сокращения скобок:

(a) -((A V B) V A1 – C)

(b) (A^ B) = C # D V -4 ^ -B

(c) (A = B) V -A = B ^ 41 B

(d) (A^ B V C) ^ D = -B