Question

Упростить логическое выражение

Answer 1

Ответ:

¬A∧B

Объяснение:

(A∨B∨¬A)→(¬A∧B)

A∨B∨¬A=A∨¬A∨B (переместительный)

A∨¬A=1 (исключение третьего)

1∨B=1 (операция с константой)

1→(¬A∧B)=¬1∨(¬A∧B) (свойство импликации)

¬1=0

0∨(¬A∧B)=¬A∧B (операция с константой)