Skip to content

Instantly share code, notes, and snippets.

@adolfont

adolfont/resposta.txt

Last active September 12, 2016 17:45
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save adolfont/5d4aa65a0b9b1d1a0f9fa171f7a2d2ac to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save adolfont/5d4aa65a0b9b1d1a0f9fa171f7a2d2ac 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