Let us make a truth table for "(\\sim p\u2227q) \u2228 (p\u2227\\sim q)":
"\\begin{array}{||c|c||c|c|c|c|c||} \n\\hline\n\\hline\np & q & \\sim p & \\sim q & \\sim p\\land q & p\\land \\sim q & (\\sim p\\land q)\\lor (p\\land \\sim q)\\\\\n\\hline\\hline\nF & F & T & T & F & F & F\\\\\n\\hline\nF & T & T & F & T & F & T\\\\\n\\hline\nT & F & F & T & F & T & T\\\\\n\\hline\nT & T & F & F & F & F & F\\\\\n\\hline\\hline\n \\end{array}"
Comments
Leave a comment