Truth table for $$$\left(\left(g \rightarrow p\right) \wedge \neg g\right) \rightarrow \neg p$$$

The calculator will generate the truth table for the given logic formula $$$\left(\left(g \rightarrow p\right) \wedge \neg g\right) \rightarrow \neg p$$$, with steps shown.

Related calculator: Boolean Algebra Calculator

Expression:

If you have a set of expressions, comma-separate them.

Ordering:

Leave empty for default ordering or specify variables like p,r,q (comma-separated).

Full table?

Binary numbers?

False values first?

$$$\neg$$$, not, ~	$$$\wedge$$$, and	$$$\vee$$$, or	$$$\uparrow$$$, nand	$$$\downarrow$$$, nor	$$$\leftrightarrow$$$, =, xnor
$$$\rightarrow$$$, =>	$$$\leftarrow$$$, <=	$$$\nrightarrow$$$, -->	$$$\nleftarrow$$$, <--	$$$\oplus$$$, xor	$$$\top$$$, T	$$$\bot$$$, F

If the calculator did not compute something or you have identified an error, or you have a suggestion/feedback, please contact us.