Question

I need to construct a truth table, from the beginning, each at a time.

~(p v ~ q) -> ~p

Answer 1

See truth table below

Explanation:

`\left[\begin{array}{ccccccc}p&q&\sim p&\sim q&p\lor \sim q&\sim (p\lor \sim q)&\sim (p\lor \sim q)\rightarrow \sim p\\T&T&F&F&T&F&T\\T&F&F&T&T&F&T\\F&T&T&F&F&T&T\\F&F&T&T&T&F&T\end{array}\right]`