Логические выражения:

1. (a ^ b) ^ b̅ v a̅ ~ c̅

2. z ^ (a v b) → a̅ ^ ¬ (b ^ c)

^ - и
v - или
a̅ - не а
¬ - не
~ - эквивалентность
→ - импликация

Объяснение:

1)

ab¬b + ¬a ≡ ¬c

0 + ¬a ≡ ¬c

(¬¬a)¬¬c) + ¬a¬c

ac + ¬a¬c

2)  z(a+b) → ¬a¬(bc)

¬( z(a+b)) + ¬a¬(bc)

¬(az+bz) + ¬a(¬b + ¬c)

¬(az) * ¬(bz) + ¬a¬b + ¬a¬c

(¬a + ¬z)(¬b + ¬z) + ¬a¬b + ¬a¬c

¬a¬b +¬a¬z + ¬b¬z + ¬z¬z + ¬a¬b + ¬a¬c

¬z(¬a + ¬b + 1) + ¬a(¬b + ¬b +¬c)

¬z + ¬a (¬b + ¬c)

¬a¬b + ¬a¬c + z