Semper Phone

Effortless
LEARNING

  • Improve effortlessly – just by living your life
  • Learn while waiting for your apps to load
  • Recommended by 5 universities
  • Community of over 1,000,000 learners
  • 50,000+ expert-made packs, or create your own
"One of the best learning apps" - CNET
  • Apple Play Store
  • Install Semper from the Play Store
Basic Logical Combinations

Basic Logical Combinations

Last update 

You are a Student of Mister Schwinn? Or just want to learn the basic logical combinations for computer science? Be welcome!

Items (27)

  • OR

  • AND

  • If

  • If and only If

  • NOT

    ¬

  • A

    fullfillable

  • T ⇒ F

    unfullfillable

  • P∧Q ⇒ F

    fullfillable

  • (A∨B∨C∨¬B)∧(A∨¬A)

    universally valid

  • (P⇒Q)⇒(Q⇒P)

    fullfillable

  • A∨B ⇔ ...

    B∨A

  • A∨(B∨C) ⇔...

    (A∨B)∨C

  • A∨(B∧C) ⇔...

    (A∨B)∧(A∨C)

  • A∧(B∧C) ⇔...

    (A∧B)∧C

  • A∧(B∨C) ⇔...

    (A∧B)∨(A∧C)

  • A∨A ⇔...

    A

  • (A⇔B) ⇔...

    (A⇒B)∧(B⇒A)

  • (A⇒B) ⇔...

    ¬A∨B

  • (A⇒B) ⇔...

    ¬(A∧¬B)

  • (A⇒B) ⇔...

    ¬A⇒¬B

  • (A⇒B∨C) ⇔...

    A∧¬B⇒C

  • (A⇒(B⇒C)) ⇔...

    A∧B⇒C

  • A∧(A⇒B)⇒...

    B

  • ∀b

    "for all b"

  • ∃b

    "For at least one b"

  • ∀x∀y A ⇔...

    ∀y∀x A

  • ∃x A ⇔...

    ∃y A {x/y}