Truth table for $$$\neg \left(\neg \left(\left(a \vee b\right) \oplus \left(a \vee c\right)\right)\right) \vee \left(\neg \left(\neg a \wedge b\right) \vee \left(b \wedge c\right)\right)$$$

The calculator will generate the truth table for the given logic formula $$$\neg \left(\neg \left(\left(a \vee b\right) \oplus \left(a \vee c\right)\right)\right) \vee \left(\neg \left(\neg a \wedge b\right) \vee \left(b \wedge c\right)\right)$$$, 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?

$$$\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 write it in the comments below.