모순

func contradiction(p: Bool, q: Bool) -> Bool {
    return false
}

화영닌자

func tautology(p: Bool, q: Bool) -> Bool {
    return true
}

명제 P

func propositionP(p: Bool, q: Bool) -> Bool {
    return p
}

부정P

func negationOfP(p: Bool, q: Bool) -> Bool {
    return !p
}

명제

func propositionQ(p: Bool, q: Bool) -> Bool {
    return q
}

부정

func negationOfQ(p: Bool, q: Bool) -> Bool {
    return !q
}

논리적

func conjunction(p: Bool, q: Bool) -> Bool {
    return p && q
}

부정 논리적

func alternativeDenial(p: Bool, q: Bool) -> Bool {
    return !p || !q
}

논리 및

func disjunction(p: Bool, q: Bool) -> Bool {
    return p || q
}

부정 논리와

func jointDenial(p: Bool, q: Bool) -> Bool {
    return !p && !q
}

뜻하지 않다

func materialNonInplication(p: Bool, q: Bool) -> Bool {
    return p && !q
}

부정적 의미 (조건 표현식)

func materialInplication(p: Bool, q: Bool) -> Bool {
    return !p || q
}

도리어 뜻이 아니다

func converseNonImplication(p: Bool, q: Bool) -> Bool {
    return !p && q
}

반의

func converseImplication(p: Bool, q: Bool) -> Bool {
    return p || !q
}

다른

func exclusiveDisjunction(p: Bool, q: Bool) -> Bool {
    return (p && !q) || (!p && q)
}

등가(충분한 필요조건)

func biconditional(p: Bool, q: Bool) -> Bool {
    return (p && q) || (!p && !q)
}

비동기 연산자

infix operator ^^ { associativity left precedence 110 }
func ^^ (lhs: Bool, rhs: Bool) -> Bool {
    return exclusiveDisjunction(p: lhs, q: rhs) // または (p && !q) || (!p && q)
}

true ^^ true   // false
true ^^ false  // true
false ^^ true  // true
false ^^ false // false

끝내다

참고 자료