Here is why the and the bi the formal not i ple who develop

Here is why the and the bi the formal not i ple who develop aircraft control aircraft cont rol systes do set h ercises 2.35 One way to prove that are equivalent is to show they beve the some trith table TF F FTF Since the two columns marked\" are identical, we knowe that the twu expres ions are equivalent. Thus, negation has the effect that it changes V into Annd changes A into v An alternative way to prove this is to argue directly with the meuning of the rst state 1·on t\' means both and p, are trueld wou) L OAU means both 2. Thus-to A e) means it is not the cite that both and u are true. 3. If they are not both true, then at least one of o. w must be false 4. This is clearly the same as saying that at least one of .\' and-v is true. By the definition of negation). 5. By the meaning of or, this can be espressed as (no)) ovide an analogous logical argument to show that love ) and (-on( ) e equivalent a dentat of a statement o wo mean any statement equivalent to no. Give seful denial of each of the following statements 4.139 is a prime mimber

Solution

logical argument

if both phi and psi are true it means neither phi is false nor psi is false (phi and psi)

which is opposite of either phi is false or psi is false (not phi     or not psi)

so not(phi and psi) is equivalent to (not phi     or not psi)