Table 1 Truth tables for ∧,∨, and ¬
From: Searching contexts in paraconsistent rough description logic
∧ | f | u | i | t | ∨ | f | u | i | t | ¬ | |||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
f | f | f | f | f | f | f | u | i | t | f | t | ||
u | f | u | f | u | u | u | u | t | t | u | u | ||
i | f | f | i | i | i | i | t | i | t | i | i | ||
t | f | u | i | t | t | t | t | t | t | t | f |
From: Searching contexts in paraconsistent rough description logic
∧ | f | u | i | t | ∨ | f | u | i | t | ¬ | |||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
f | f | f | f | f | f | f | u | i | t | f | t | ||
u | f | u | f | u | u | u | u | t | t | u | u | ||
i | f | f | i | i | i | i | t | i | t | i | i | ||
t | f | u | i | t | t | t | t | t | t | t | f |