diff --git a/core/lib/Drupal/Core/Access/AccessResultInterface.php b/core/lib/Drupal/Core/Access/AccessResultInterface.php
index 7d02314..f2bf3cf 100644
--- a/core/lib/Drupal/Core/Access/AccessResultInterface.php
+++ b/core/lib/Drupal/Core/Access/AccessResultInterface.php
@@ -22,11 +22,6 @@
  * @endcode
  * would never enter the else-statement and hence introduce a critical security
  * issue.
- *
- * Objects implementing this interface are using Kleene's weak three-valued
- * logic with the isAllowed() state being TRUE, the isForbidden() state being
- * the intermediate truth value and isNeutral() being FALSE. See
- * http://en.wikipedia.org/wiki/Many-valued_logic for more.
  */
 interface AccessResultInterface {
 
@@ -65,6 +60,18 @@ public function isNeutral();
    * - otherwise if isAllowed() in either ⇒ isAllowed()
    * - otherwise both must be isNeutral() ⇒ isNeutral()
    *
+   * Truth table:
+   * @code
+   *   |A N F
+   * --+-----
+   * A |A A F
+   * N |A N F
+   * F |F F F
+   * @endcode
+   *
+   * This is the same as disjunction logic for Kleene's weak three-valued
+   * logic.
+   *
    * @param \Drupal\Core\Access\AccessResultInterface $other
    *   The other access result to OR this one with.
    *
@@ -80,6 +87,18 @@ public function orIf(AccessResultInterface $other);
    * - otherwise, if isAllowed() in both ⇒ isAllowed()
    * - otherwise, one of them is isNeutral()  ⇒ isNeutral()
    *
+   * Truth table:
+   * @code
+   *   |A N F
+   * --+-----
+   * A |A N F
+   * N |N N F
+   * F |F F F
+   * @endcode
+   *
+   * This is the same as conjunction logic for Kleene's weak three-valued
+   * logic.
+   *
    * @param \Drupal\Core\Access\AccessResultInterface $other
    *   The other access result to AND this one with.
    *