Упростить формулы очень надо по быстрому!!!
1) AB((A∨C∨B)A) ABA AB 2) (P→Q)→((Q→R)→(P→R)) (¬P∨Q)→((Q→R)→(P→R)) (¬P∨Q)→((Q∨R)→(P→R)) (¬P∨Q)→((¬Q∨R)→(¬P∨R)) (¬P∨Q)→(¬P∨R∨Q)