Teacode.com: Дискретная математика

Помогите разобраться с дискретной математикой!!! Я извиняюсь за такое представление, но не знаю как написать формулой... 1) Составить таблицы истинности: (xVy(y c черточкой вверху))->(y0x(0 с крестиком внутри)),((x<->y(y c черточкой вверху))|z(z c черточкой вверху))(стрелка вниз)xy (и x и y с черточками вверху) 2) Дано два множества A={a,b,c}, B={1,2,3,4}. Р1 принадлежит AxB и Р2 принадлежит B^(2). Найти [(P1P2)^(-1)]. (Честно не понял что это за действие - прямое умножение вроде обозначается через "х"....) Р1={(a,1),(a,4),(b,2),(b,3),(c,1),(c,4)} Р2={(1,1),(1,4),(2,1),(3,4),(4,3),(4,1)}