Expression
Variables
3 • 8 rowsABS
8 rows • Click a column header to trace dependencies • Click a row to copy.
| A | B | S | f =A → B | f =¬S | (A → B) ∧ ¬S | |
|---|---|---|---|---|---|---|
| 1 | 1 | 1 | 1 | 0 | 0 | |
| 1 | 1 | 0 | 1 | 1 | 1 | |
| 1 | 0 | 1 | 0 | 0 | 0 | |
| 1 | 0 | 0 | 0 | 1 | 0 | |
| 0 | 1 | 1 | 1 | 0 | 0 | |
| 0 | 1 | 0 | 1 | 1 | 1 | |
| 0 | 0 | 1 | 1 | 0 | 0 | |
| 0 | 0 | 0 | 1 | 1 | 1 |
GetsMo
Formal Logic Workspace
Offline · Local