CAN YOU HANDLE THE TRUTH?
IT'S ALL VERY LOGICAL
READY *SET* GO
COUNT ON IT
HAVE YOU GOT ALGORITHM?
100

A STATEMENT THAT CAN BE EITHER TRUE OR FALSE IS TERMED THIS

WHAT IS A PROPOSITION?

100

IN LOGIC CIRCUITS, A SMALL TRIANGLE FOLLOWED BY A CIRCLE REPRESENTS THIS TYPE OF GATE

WHAT IS NOT OR INVERTER?

100

YOU MUST HAVE THIS INTEGER EXPRESSION TO INDICATE AN ODD NUMBER

WHAT IS 2K + 1?

100

THE TERM FOR THE NUMBER OF ELEMENTS IN A SET

WHAT IS CARDINALITY?

100

THIS TYPE OF ALGORITHM ALWAYS TAKES THE BEST CHOICE NOW INSTEAD OF LOOKING AHEAD

WHAT ARE GREEDY ALGORITHMS?

200

THE OR OPERATOR, DENOTED BY V, IS ALSO CALLED THIS

WHAT IS DISJUNCTION?

200

A STATEMENT THAT IS ALWAYS TRUE

WHAT IS A TAUTOLOGY?

200

ANOTHER NAME FOR THE SET OF POSITIVE INTEGERS Z+, OR COUNTING NUMBERS

WHAT ARE NATURAL NUMBERS?

200

THE CEILING OF
-1.4

WHAT IS -1?

200

UNLIKE BIG-O, THIS CLASS OF FUNCTIONS PROVIDES A FLOOR OR LOWER BOUND TO A FUNCTION

WHAT SI BIG-OMEGA?

300

THE LOGICAL OPERATOR DENOTING ONE OR THE OTHER BUT NOT BOTH IS CALLED THIS

WHAT IS EXCLUSIVE OR?

300

AN UPSIDE DOWN A REPRESENTS THIS TYPE OF LOGICAL SYMBOL

WHAT IS A UNIVERSAL QUANTIFIER?

300

NAMES OF SETS A AND B IN DEFINING A FUNCTION
F WHERE ELEMENTS OF A MAP TO B

WHAT ARE THE DOMAIN AND CODOMAIN?

300

IN TERMS OF COUNTABILITY, REAL NUMBERS ARE CLASSIFIED AS THIS

WHAT IS UNCOUNTABLE?

300

THIS TYPE OF ALGORITHM IS SOLVED IN THE MOST STRAIGHTFORWARD MANNER WITHOUT REGARD TO EFFICIENCY

WHAT IS BRUTE-FORCE?

400

THE NUMBER OF ROWS CONTAINED IN A TRUTH TABLE WITH FOUR PROPOSITIONAL VARIABLES

WHAT IS 16?

400

THE RULE OF INFERENCE STATING THAT IF
P AND P -> Q ARE TRUE THEN
Q IS TRUE

WHAT IS  MODUS PONENS?

400

THE CONTENTS OF THE POWER SET OF S

WHAT ARE ALL OF THE SUBSETS OF S?

400

THE COUNTABILITY OF Z

WHAT IS COUNTABLY INFINITE?

400

BIG-THETA OF THE FOLLOWING:
.5N LOG N

WHAT IS N LOG N?

500

A LOGICALLY EQUIVALENT STATEMENT TO
P -> Q
ACCORDING TO THE IMPLICATION RULE

WHAT IS ~P V Q?

500

THIS RULE OF INFERENCE CAN BE DESCRIBED AS
"IT'S EITHER ME OR YOU AND IT'S NOT ME"

WHAT IS DISJUNCTIVE SYLLOGISM?

500

FORMULA FOR THE CARDINALITY OF
A U B

WHAT IS THE CARDINALITY OF A PLUS THE CARDINALITY OF B MINUS THE INTERSECTION OF A AND B

500

CLOSED-FORM EXPRESSION FOR THE SUMMATION OF
I = 1 TO N OF I

WHAT IS N(N+1)/2?

500

FOR THIS CLASS OF CURRENTLY INTRACTABLE PROBLEMS, IF YOU FIND A SOLUTION TO ONE,  YOU'VE SOLVED THEM ALL

WHAT ARE NP-COMPLETE PROBLEMS?

M
e
n
u