Как составить таблицу истинности для логической формулы л) $((P\lor \neg Q) \rightarrow Q) \land (\neg P \lor Q)$ и определить, является ли она выполнимой или опровержимой?
Как составить таблицу истинности для логической формулы л) $((P\lor \neg Q) \rightarrow Q) \land (\neg P \lor Q)$ и определить, является ли она выполнимой или опровержимой?