Объясните понятие пропозициональной логики. Перечислите основные логические связки (конъюнкция, дизъюнкция, импликация, эквиваленция, отрицание) и постройте для каждой из них таблицу истинности. Приведите пример сложного утверждения и определите его истинность при различных значениях переменных.