====== Zadanie 11 ======

Rozwiązanie sprowadza się do skorzystania ze skróconej metody zero-jedynkowej w sposób opisany w skrypcie. Jeśli udowodnimy, że formuła jest tautologią, oznaczamy ją jako A. W przeciwnym razie możemy w analogiczny sposób spróbować udowodnić, że jest sprzeczna - usiłując znaleźć wartościowanie spełniające. Jeśli się to nie uda, oznaczamy ją jako C. Jeśli natomiast znajdziemy takie wartościowania, oznaczamy ją przez B i podajemy je.

  - A
  - A
  - A
  - A
  - B, spełniona dla $[p/\bot, q/\bot, r/\bot]$, niespełniona dla $[p/\bot, q/\bot, r/\top]$
  - A
  - B
  - B
  - B
  - B
  - A
  - A
  - A
  - B
  - B
  - A
  - A
  - B
  - B
  - A
  - A
  - A
  - B
  - A
  - B
  - A
  - B
  - A
  - A
  - A
  - B
  - B
  - B
  - A
  - A
  - A