Question

离散数学题，在线求解啊 求公式（（~P∧Q）→R）→P的主范式

Answer 1

（~（~p∧Q)V R）→P ~(~（~p∧Q)V R）)V p ~((p V ~Q)V R)V p 主析取范式： ~p ∧Q∧R V p (~p ∧Q∧R )V( P ∧（~Q V Q)) (~p ∧Q∧R )V((P ∧~Q) V (P ∧Q)) (~p ∧Q∧R )V(((P ∧~Q)∧(R V~R)) V( (P ∧Q)∧(R V~R))) (~p ∧Q∧R )V(P ∧~Q∧R)V(P ∧~Q∧~R)V (P ∧Q∧R)V(P ∧Q∧~R) 主合取范式： ~p ∧Q∧R V p （~p V （~Q ∧ Q))∧((p∧~p)V Q)∧（R V p V(R V~R)) ((~p V ~Q) V(R∧~R))∧((~p V Q)V(R∧~R))∧((pV Q) V(R V~R))∧((~p V Q) V(R V~R))∧(R V p V(R V~R)) (~P V~ Q V~ R)∧(~P V~ Q V R)∧(~P V Q V ~R)∧(~P V Q V R)∧(P V~ Q V R)∧(P V Q V ~R)∧(P V Q V R)