Question Number 153651 by Skabetix last updated on 08/Sep/21
Answered by Skabetix last updated on 08/Sep/21
$${bonjour}\:{trouver}\:{la}\:{valeur}\:{logique}\:{sans}\:{utiliser}\:{la}\:{table}\:{de}\:{verite} \\ $$$$ \\ $$
Answered by Jonathanwaweh last updated on 08/Sep/21
$$\left(\left({p}\wedge{Q}\right)\Rightarrow{r}\right)\equiv\left(\rceil\left({p}\wedge{Q}\right)\vee{r}\right) \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\equiv\left(\left(\rceil{p}\right)\vee\left(\rceil{Q}\right)\vee{r}\right) \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\equiv\left(\left(\rceil{p}\right)\vee{r}\vee\left(\rceil{Q}\right)\right) \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\equiv\left(\rceil\left({p}\wedge\left(\rceil{r}\right)\right)\vee\rceil{Q}\right) \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\equiv\left(\left({p}\wedge\left(\rceil{r}\right)\right)\Rightarrow\left(\rceil{Q}\right)\right)\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\: \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\: \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\: \\ $$