Составить таблицу истинности следующего символического выражения: ((p -> q) /\ p) -> p
Выражение истинно при любых значениях переменных:
P Q F
0 0 1
0 1 1
1 0 1
1 1 1