Logic gates from NOT, OR

logic.ts

// NOT:  given
// OR:   given
// NOR:  derived
// AND:  derived
// NAND: derived
// XOR:  derived
// XNOR: derived

function nor(x: boolean, y: boolean): boolean {
    return !(x || y);
}

function and(x: boolean, y: boolean): boolean {
    return !(!x || !y);
}

function nand(x: boolean, y: boolean): boolean {
    return !and(x, y);
}

function xor(x: boolean, y: boolean): boolean {
    return and(!x, y) || and(x, !y);
}

function xnor(x: boolean, y: boolean): boolean {
    return !xor(x, y);
}