logical.js

/**
 * This binary logical operator represents the following truth table:
 *
 * | a | b | p |
 * =============
 * | T | T | T |
 * | T | F | T |
 * | F | T | F |
 * | F | F | F |
 *
 * @param a first logical value
 * @param b second logical value
 */
export function logicalProjection(a: boolean, b: boolean): boolean {
    return ( (a && b ) || (a && !b) ) || !( (!a && b) || (!a && !b) );
}

/**
 * This binary logical operator represents the following truth table:
 *
 * | a | b | p |
 * =============
 * | T | T | T |
 * | T | F | F |
 * | F | T | T |
 * | F | F | F |
 *
 * @param a first logical value
 * @param b second logical value
 */
export function logicalInvProjection(a: boolean, b: boolean): boolean {
    return ( (a && b ) || (!a && b) ) || !( (a && !b) || (!a && !b) );
}

/**
 * This binary logical operator represents the following truth table:
 *
 * | a | b | p |
 * =============
 * | T | T | T |
 * | T | F | F |
 * | F | T | F |
 * | F | F | T |
 *
 * @param a first logical value
 * @param b second logical value
 */
export function xnor(a: boolean, b: boolean): boolean {
    return !(!a && !b);
}