Question 178926
Construct a truth table for ~(p<font face = "symbol">Ù</font>q) 
<pre><font size = 4 color = "indigo"><b>
Start out with this table:
        _______________________
       | p | q | p<font face = "symbol">Ù</font>q | ~(p<font face = "symbol">Ù</font>q) | 
case 1 | T | T |     |        |
case 2 | T | F |     |        | 
case 3 | F | T |     |        |
case 4 | F | F |     |        |

  

(Rule for "AND", <font face = "symbol">Ù</font>:
<font face = "symbol">Ù</font> requires truth on both sides in
order to be true)

in case 1, p has value T and q has value T, so
<font face = "symbol">Ù</font> has trues on both sides so we put a T under p<font face = "symbol">Ù</font>q
in case 1.

        _______________________
       | p | q | p<font face = "symbol">Ù</font>q | ~(p<font face = "symbol">Ù</font>q) | 
case 1 | T | T |  T  |        |
case 2 | T | F |     |        | 
case 3 | F | T |     |        |
case 4 | F | F |     |        |

in case 2, p has value T and q has value F, so
<font face = "symbol">Ù</font> does NOT have trues on both sides so we put a 
F under p<font face = "symbol">Ù</font>q in case 2.

        _______________________
       | p | q | p<font face = "symbol">Ù</font>q | ~(p<font face = "symbol">Ù</font>q) | 
case 1 | T | T |  T  |        |
case 2 | T | F |  F  |        | 
case 3 | F | T |     |        |
case 4 | F | F |     |        |

in case 3, p has value F and q has value T, so
<font face = "symbol">Ù</font> does NOT have trues on both sides so we put a 
F under p<font face = "symbol">Ù</font>q in case 3.

        _______________________
       | p | q | p<font face = "symbol">Ù</font>q | ~(p<font face = "symbol">Ù</font>q) | 
case 1 | T | T |  T  |        |
case 2 | T | F |  F  |        | 
case 3 | F | T |  F  |        |
case 4 | F | F |     |        |

in case 4, p has value F and q has value F, so
<font face = "symbol">Ù</font> does NOT have trues on both sides so we put a 
F under p<font face = "symbol">Ù</font>q in case 4.

        _______________________
       | p | q | p<font face = "symbol">Ù</font>q | ~(p<font face = "symbol">Ù</font>q) | 
case 1 | T | T |  T  |        |
case 2 | T | F |  F  |        | 
case 3 | F | T |  F  |        |
case 4 | F | F |  F  |        |


Now we fill in the column under ~(p<font face = "symbol">Ù</font>q)

(Rule: "NOT" means to give the opposite
value of what follows the symbol "~". That
is, if ~ precedes T, then that gives F and
if ~ precedes F, then that gives T)

Since in case 1, p<font face = "symbol">Ù</font>q has value T, then
~(p<font face = "symbol">Ù</font>q) will have the opposite value F:

        _______________________
       | p | q | p<font face = "symbol">Ù</font>q | ~(p<font face = "symbol">Ù</font>q) | 
case 1 | T | T |  T  |   F    |
case 2 | T | F |  F  |        | 
case 3 | F | T |  F  |        |
case 4 | F | F |  F  |        |

Since in case 2, p<font face = "symbol">Ù</font>q has value F, then
~(p<font face = "symbol">Ù</font>q) will have the opposite value T:

        _______________________
       | p | q | p<font face = "symbol">Ù</font>q | ~(p<font face = "symbol">Ù</font>q) | 
case 1 | T | T |  T  |   F    |
case 2 | T | F |  F  |   T    | 
case 3 | F | T |  F  |        |
case 4 | F | F |  F  |        |

Since in case 3, p<font face = "symbol">Ù</font>q has value F, then
~(p<font face = "symbol">Ù</font>q) will have the opposite value T:
        _______________________
       | p | q | p<font face = "symbol">Ù</font>q | ~(p<font face = "symbol">Ù</font>q) | 
case 1 | T | T |  T  |   F    |
case 2 | T | F |  F  |   T    | 
case 3 | F | T |  F  |   T    |
case 4 | F | F |  F  |        |

Since in case 4, p<font face = "symbol">Ù</font>q has value F, then
~(p<font face = "symbol">Ù</font>q) will have the opposite value T:

        _______________________
       | p | q | p<font face = "symbol">Ù</font>q | ~(p<font face = "symbol">Ù</font>q) | 
case 1 | T | T |  T  |   F    |
case 2 | T | F |  F  |   T    | 
case 3 | F | T |  F  |   T    |
case 4 | F | F |  F  |   T    |

So the truth table for ~(p<font face = "symbol">Ù</font>q) is FTTT

Edwin</pre>