Truth table for (¬r(r¬s))¬(rs)\left(\neg r \vee \left(r \wedge \neg s\right)\right) \leftrightarrow \neg \left(r \wedge s\right)

The calculator will generate the truth table for the given logic formula (¬r(r¬s))¬(rs)\left(\neg r \vee \left(r \wedge \neg s\right)\right) \leftrightarrow \neg \left(r \wedge s\right), with steps shown.

Related calculator: Boolean Algebra Calculator

If you have a set of expressions, comma-separate them.
Leave empty for default ordering or specify variables like p,r,q (comma-separated).

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

Your Input

Find the truth table for (¬r(r¬s))¬(rs)\left(\neg r \vee \left(r \wedge \neg s\right)\right) \leftrightarrow \neg \left(r \wedge s\right).

Answer

rrss(¬r(r¬s))¬(rs)\left(\neg r \vee \left(r \wedge \neg s\right)\right) \leftrightarrow \neg \left(r \wedge s\right)
TrueTrueTrue
TrueFalseTrue
FalseTrueTrue
FalseFalseTrue