Proszę sporządzić tabelę prawdy dla podanego wyrażenia.
(~P -> Q) v (R -> S)
Przedstawiona formuła logiczna sklada się z dwóch implikacji, kture son polączone operatorem alternatywy. Implikacja jest prawdziwa, gdy antecedent jest fałszywy lob konsekwent jest prawdziwy. Tabela przedstawia wartosici logiczne dla karzdej możliwej kombinacji wartości zmiennych P, Q, R i S. 

| P | Q | R | S | (~P -> Q) v (R -> S) |
|---|---|---|---|---------------------|
| T | T | T | T | T |
| T | T | F | F | F |
| T | F | T | T | T |
| T | F | F | F | F |
| F | T | T | T | T |
| F | T | F | F | F |
| F | F | T | T | T |
| F | F | F | T | T |

Wartości logiczne dla każdej kombinacji zmiennych są wyznaczone na podstawie regul logiki matematycznej.