Skip to content

Instantly share code, notes, and snippets.

@adolfont

adolfont/resposta.txt

Created September 12, 2016 17:43
Show Gist options
  • Save adolfont/2fc7fa9ddea3e3d7d3a0110c9fdffe20 to your computer and use it in GitHub Desktop.
Save adolfont/2fc7fa9ddea3e3d7d3a0110c9fdffe20 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
resposta.txt
1 T (!Q | (R | P))
2 T (!Q -> (Q & (R | R)))
3 F !((P & Q) | P)
4 T ((P & Q) | P)
5 T (P&Q)
7 T P
8 T Q
9 F ! Q
11 T Q
12 T !Q
x
13 T R | P
14 T R
o (v(R)=1, v(Q)=1, v(P)=1)
15 T P
10 T Q & ( R | R)
6 T P
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment