Let us find the truth tables for the following statement forms:
1. "p\u2228 \u223c q"
"\\ \\begin{array}{||c|c||c|c||}\n\\hline \\hline \np & q & \\sim q & p\\lor \\sim q \\\\\n\\hline\\hline\n0 & 0 & 1 & 1\\\\\n\\hline\n0 & 1 & 0 & 0\\\\\n\\hline\n1 & 0 & 1 & 1\\\\\n\\hline\n1 & 1 & 0 & 1\\\\\n\\hline\\hline\n\\end{array}"
2. "p \u2228 (q \u2227 r )"
"\\ \\begin{array}{||c|c|c||c|c||}\n\\hline \\hline \np & q & r & q\\land r & p\\lor ( q\\land r) \\\\\n\\hline\\hline\n0 & 0 & 0 & 0 & 0\\\\\n\\hline\n0 & 0 & 1 & 0 & 0\\\\\n\\hline\n0 & 1 & 0 & 0 & 0\\\\\n\\hline\n0 & 1 & 1 & 1 & 1\\\\\n\\hline\n1 & 0 & 0 & 0 & 1\\\\\n\\hline\n1 & 0 & 1 & 0 & 1\\\\\n\\hline\n1 & 1 & 0 & 0 & 1\\\\\n\\hline\n1 & 1 & 1 & 1 & 1\\\\\n\\hline\\hline\n\\end{array}"
3. "(p \u2228 q) \u2227 (p \u2228 r )"
"\\ \\begin{array}{||c|c|c||c|c|c||}\n\\hline \\hline \np & q & r & p\\lor q & p\\lor r & (p\\lor q)\\land(p\\lor r) \\\\\n\\hline\\hline\n0 & 0 & 0 & 0 & 0 & 0\\\\\n\\hline\n0 & 0 & 1 & 0 & 1 & 0\\\\\n\\hline\n0 & 1 & 0 & 1 & 0 & 0\\\\\n\\hline\n0 & 1 & 1 & 1 & 1 & 1\\\\\n\\hline\n1 & 0 & 0 & 1 & 1 & 1\\\\\n\\hline\n1 & 0 & 1 & 1 & 1 & 1\\\\\n\\hline\n1 & 1 & 0 & 1 & 1 & 1\\\\\n\\hline\n1 & 1 & 1 & 1 & 1 & 1\\\\\n\\hline\\hline\n\\end{array}"
Comments
Leave a comment