1,277
edits
Changes
5c
|-
| F || F || F || F || T || F || F || T
|}
(c)
{|
! p || q || r || (p∨q)≡-r || p∨(-q ⊃ r) || (p∨q)≡-r . p∨(-q ⊃ r)
|-
|T || T || T || F || T || F
|-
|T || T || F || T || T || T
|-
|T || F || T || F || T || F
|-
|T || F || F || T || T || T
|-
|F || T || T || F || T || F
|-
|F || T || F || T || T || T
|-
|F || F || T || T || T || T
|-
|F || F || F || F || F || F
|}